Bluespec utilizes the FLEXnet licensing package. 

All licensing files are contained within the $BLUESPEC_HOME/util/flexlm  directory. 

This directory contains FLEXnet licensing executables and Bluespec specific daemons.  The subdirectories are specific to machine
architecture and operating system.   The README file lists the daemons currently supported by Bluespec, as well as directions for editing the license file. 

Refer to the FLEXnet user guide, $BLUESPECDIR/../util/flexlm/LicensingEndUserGuide.pdf, for more details on managing and running the FLEXnet licensing package.

More information and the latest version of the LM tools are available from Macrovision at

Licensing Flags

Debugging A License Problem