Installing a new FLEXid=10 USB keylock and drivers

NOTE: For previous versions, please visit https://www.aldec.com/en/support/resources/documentation/articles/1245.

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

Drivers

Note for Active-HDL 11.1 users: Download the drivers from this page: https://www.aldec.com/en/support/resources/documentation/faq/1783.

Drivers can be obtained from the following locations:

Platform	FLEXid	Download Location
Red Hat®, CentOS, and SUSE® Linux 32-bit	10	https://www.aldec.com/en/downloads/9525
Red Hat®, CentOS, and SUSE® Linux 64-bit	10	https://www.aldec.com/en/downloads/9522
Microsoft® Windows® 32 bit	10	https://www.aldec.com/en/downloads/9523
Microsoft® Windows® 64 bit	10	https://www.aldec.com/en/downloads/9524

NOTE: Please refer to fnpdig.pdf located under https://www.aldec.com/en/downloads/9534 for installation instructions.

Windows

FLEXID10 (Blue)

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

Linux

(64-bit) - Place libhasp_linux_x86_64.so into /usr/lib

(32-bit) - Place libhasp_linux_i686.so into /usr/lib

FLEXID10 (Blue)

Debian, Ubuntu

64-bit

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

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

32-bit

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

64-bit

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

32-bit

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:

Windows

• Windows 32-bit: https://www.aldec.com/en/downloads/9529

• Windows 64-bit: https://www.aldec.com/en/downloads/9530

Linux

• Linux 32-bit: https://www.aldec.com/en/downloads/9527

• Linux 64-bit: https://www.aldec.com/en/downloads/9526

Unix - 32 bit:

• https://www.aldec.com/en/downloads/9528