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

Linux

Unix - 32 bit:



Printed version of site: www.aldec.com/en/support/resources/documentation/articles/2192