ModelSim SE User's Manual - Electrical and Computer Engineering

VITAL specification and source code
VITAL packages
VITAL ASIC Modeling Specification
VITAL specification and source code UM-93
The IEEE 1076.4 VITAL ASIC Modeling Specification is available from the Institute of
Electrical and Electronics Engineers, Inc.:
IEEE Customer Service
445 Hoes Lane
Piscataway, NJ 08854-1331
Tel: (732) 981-0060
Fax: (732) 981-1721
home page: http://www.ieee.org
VITAL source code
The source code for VITAL packages is provided in the //modeltech/
vhdl_src/vital2.2b, /vital95, or /vital2000 directories.
VITAL 1995 accelerated packages are pre-compiled into the ieee library in the installation
directory. VITAL 2000 accelerated packages are pre-compiled into the vital2000 library.
If you need to use the newer library, you either need to change the ieee library mapping or
add a use clause to your VHDL code to access the VITAL 2000 packages.
To change the ieee library mapping, issue the following command:
vmap ieee /vital2000
Or, alternatively, add use clauses to your code:
LIBRARY vital2000;
USE vital2000.vital_primitives.all;
USE vital2000.vital_timing.all;
USE vital2000.vital_memory.all;
Note that if your design uses two libraries -one that depends on vital95 and one that depends
on vital2000 - then you will have to change the references in the source code to vital2000.
Changing the library mapping will not work.
ModelSim VITAL compliance
A simulator is VITAL compliant if it implements the SDF mapping and if it correctly
simulates designs using the VITAL packages, as outlined in the VITAL Model
Development Specification. ModelSim is compliant with the IEEE 1076.4 VITAL ASIC
Modeling Specification. In addition, ModelSim accelerates the VITAL_Timing,
VITAL_Primitives, and VITAL_memory packages. The optimized procedures are
functionally equivalent to the IEEE 1076.4 VITAL ASIC Modeling Specification (VITAL
1995 and 2000).
ModelSim SE User’s Manual