ModelSim SE User's Manual - Electrical and Computer Engineering

UM-30 1 - Introduction
Standards supported
Assumptions
ModelSim SE User’s Manual
ModelSim VHDL implements the VHDL language as defined by IEEE Standards
1076-1987, 1076-1993, and 1076-2002. ModelSim also supports the 1164-1993 Standard
Multivalue Logic System for VHDL Interoperability, and the 1076.2-1996 Standard VHDL
Mathematical Packages standards. Any design developed with ModelSim will be
compatible with any other VHDL system that is compliant with the 1076 specs.
ModelSim Verilog implements the Verilog language as defined by the IEEE Std 1364-1995
and 1364-2001. ModelSim Verilog also supports a partial implementation of
SystemVerilog 3.1, Accellera’s Extensions to Verilog® (see //modeltech/
docs/technotes/svlog.note for implementation details). The Open Verilog International
Verilog LRM version 2.0 is also applicable to a large extent. Both PLI (Programming
Language Interface) and VCD (Value Change Dump) are supported for ModelSim PE and
SE users.
In addition, all products support SDF 1.0 through 3.0, VITAL 2.2b, VITAL’95 – IEEE
1076.4-1995, and VITAL 2000 – IEEE 1076.4-2000.
ModelSim implements the SystemC language based on the Open SystemC Initiative
(OSCI) SystemC 2.0.1 reference simulator.
ModelSim implements the simple subset of Accellera’s Property Specification Language
(PSL) version 1.1.
We assume that you are familiar with the use of your operating system and its graphical
interface.
We also assume that you have a working knowledge of VHDL, Verilog, and/or SystemC.
Although ModelSim is an excellent tool to use while learning HDL concepts and practices,
this document is not written to support that goal.
Finally, we assume that you have worked the appropriate lessons in the ModelSim Tutorial
and are familiar with the basic functionality of ModelSim. The ModelSim Tutorial is
available from the ModelSim Help menu. The ModelSim Tutorial is also available from the
Support page of our web site: www.model.com.