Download SmartModel Products Application Notes Manual

SmartModel Application Notes
v
Chapter 1: Verifying FPGA Designs
For more information on causal tracing, refer to “Using Traces from a Simulation Run in
Causal Trace” in the NT version of the Visual SmartBrowser User’s Manual.
Targeting Unsupported Devices
You may come across an FPGA device package type that Synopsys does not support.
This does not mean that you cannot simulate that device. If there is a Synopsys device
model in the same FPGA family that has the same number of pins or more, you can still
simulate the device. For example, you might have a package type called sqt-208,
whereas you might find a model for only the sqt-240 device. The 208/240 nomenclature
specifies the number of device pins. You can use the model for the 240-pin device to
simulate the 208-pin device. To learn how to use unsupported device types in your
design, refer to “Using Unsupported Devices” in the SmartModel Library User’s
Manual.
Interactive SmartBrowser Commands
This application note provides lots of information about how you can use the Visual
SmartBrowser (VSB) to debug your FPGA design. There is also an interactive tool
called SmartBrowser that enables you to debug an internal FPGA from the simulator
command line of a testbench. For more information on the interactive SmartBrowser,
refer to “Browsing Your Design Using SmartBrowser” in the SmartModel Library
User’s Manual.
August 2001
Synopsys, Inc.
31