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:

Ask Us a Question
x
Ask Us a Question
x
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.