12
Start Here for ModelSim EE
8
Go to the FLEXlm License Manager located in your Control Panel. Choose
the Setup tab and add the pathnames for the lmgrd.exe, license.dat, and
debug.log. Make sure the pathnames and extensions are correct, then save
the setup. Typical entries might look like this:
lmgrd.exe
C:\modelsim\win32\lmgrd.exe
License file
C:\modelsim\win32\license.dat
Debug log file
C:\modelsim\win32\debug.log
9
Next choose the FLEXlm Control tab. Press the start button. Wait a
moment, then press the status button. The server should be up. If the server
does not start, try the following troubleshooting procedures.
Troubleshooting PC server setup
1
Open a DOS window and go to the appropriate modelsim\win32 directory.
For example, C:\modelsim\win32. Enter the command:
lmutil lmdiag
This allows you to verify each feature independently.
2
From a DOS window, and the same win32 directory, enter the following:
lmutil lmstat -a
This shows you all licenses that are available.
3
Go to the debug.log inside the win32 directory. This may provide other
information about the source of the license server problems.
Setup for a UNIX server
Check with your system administrator for the server’s hostname and port#,
then follow the installation instructions above (steps 5 through 7) to set the
LM_LICENSE_FILE variable for your platform.
Windows platform installation details
Licensing
ModelSim licensing is handled by the FLEXlm license manager from
Globetrotter Software. In a Windows-only environment, a FLEXid security
key is installed that identifies the machine as the license server (a stand-
alone PC acts as server and client). A UNIX machine may also be used as
the license server, and requires no security key because FLEXlm uses the
UNIX server’s hostID as the identifier.
The license file (license.dat) is based on the server identifier (the FLEXid,
or host ID), and is obtained from either Model Technology or Mentor
Graphics. (See
"Licenses - ModelSim EE"
(p29) if you need a license file.)
