Installing a new FLEXid=10 USB keylock and drivers

NOTE: For previous versions, please visit

If your Active-HDL, Riviera-PRO, ALINT, HES/DVM or Netlist Converter license is issued for a USB FLEXid keylock or dongle (license file contains reference to "flexid=10" in the server line), installing the drivers may be necessary. Read Verifying Driver Installation below to check if you need to install the driver.

NOTE: USB FLEXid keylocks are labeled with a FLEXid number, in the format FLEXid=10-xxxxxxxx, where x is a hexadecimal number. The FLEXid=10 (WIBU) is blue, as shown below:

Figure 1. USB keylocks


Note for Active-HDL 11.1 users: Download the drivers from this page:

Drivers can be obtained from the following locations:



Download Location

Red Hat®, CentOS, and SUSE® Linux 32-bit


Red Hat®, CentOS, and SUSE® Linux 64-bit


Microsoft® Windows® 32 bit


Microsoft® Windows® 64 bit


NOTE: Please refer to fnpdig.pdf located under for installation instructions.


FLEXID10 (Blue)

  1. Simply double-click "Setup.exe" and complete the wizard. All default settings and options are acceptable.


(64-bit) - Place into /usr/lib

(32-bit) - Place into /usr/lib

FLEXID10 (Blue)

Debian, Ubuntu


  1. sudo alien WkRt-Lin-6.30.1454-500.x86_64.rpm

  2. sudo dpkg -i wkrt-lin_6.30.1454-501_amd64.deb


  1. tar -xzvf Sentinel_LDK_Run-time_Installer_script.tar.gz

  2. tar -xzvf aksusbd-2.2.1-i386.tar.gz

  3. ./dinst

RedHat, SUSE, CentOS


  1. rpm -i WkRt-Lin-6.30.1454-500.x86_64.rpm


  1. rpm -i WkRt-Lin-6.30.1454-500.i386.rpm

Verifying Driver Installation

To verify the driver installation on Linux or Windows, invoke the lmutil program with the following parameters:

./lmutil lmhostid -flexid

If the driver is installed correctly you should see the message as shown below: The FLEXlm host ID of this machine is "FLEXid=10-0bebc48a".

The lmutil tool can be found when you download the License Daemon that corresponds to your machine:



Unix - 32 bit:

Ask Us a Question
Ask Us a Question
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.