Simulator Configuration Guide for Synopsys Models

Simulator Configuration GuideChapter 3: Using ModelSim Verilog with Synopsys ModelsLinux% vsim -pli $LMC_HOME/lib/x86_linux.lib/swiftpli_mti.so designNoteFor information on LMTV commands that you can use with SmartModelson ModelSim Verilog, refer to “LMTV Commands” on page 271.Using FlexModels with ModelSim VerilogFlexModels work with ModelSim-Verilog using a PLI application called LMTV that isdelivered in the form of a swiftpli_mti shared library in $LMC_HOME/lib/platform.lib.For information on static linking LMTV, see “Static Linking with LMTV” on page 268.To use the prebuilt swiftpli_mti, follow this procedure:1. Make sure ModelSim Verilog is set up properly and all required environmentvariables are set, as explained in “Setting Environment Variables” on page 59.2. Map your work library as shown in the following example:% vlib work% vmap work workThis step produces a modelsim.ini file.3. Edit the modelsim.ini file to uncomment the Resolution statement, and set theresolution value to 100ps, as shown in the following example.Resolution = 100psNoteIf you are using VHDL SmartModels in your Verilog simulation, you mustalso edit the modelsim.ini file to uncomment the libsm and libswift lines foryour platform (see “Using ModelSim VHDL with Synopsys Models” onpage 73).4. Create a working directory and run flexm_setup to make copies of the model'sinterface and example files there, as shown in the following example:% $LMC_HOME/bin/flexm_setup -dir workdir model_fxYou must run flexm_setup every time you update your FlexModel installation witha new model version. Table 9 lists the files that flexm_setup copies to your workingdirectory.October 6, 2003 Synopsys, Inc. 63