User`s manual

ModelSim Xilinx User’s Manual Table of Contents - 11
Compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Incremental compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Library usage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Verilog-XL compatible compiler options . . . . . . . . . . . . . . . . . . . . . . 62
Verilog-XL ‘uselib compiler directive . . . . . . . . . . . . . . . . . . . . . . . 65
Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Invoking the simulator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Simulation resolution limit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Event order issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Verilog-XL compatible simulator options . . . . . . . . . . . . . . . . . . . . . . 70
Cell Libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
SDF timing annotation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Delay modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
System Tasks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
IEEE Std 1364-1995 system tasks . . . . . . . . . . . . . . . . . . . . . . . . . 75
Verilog-XL compatible system tasks . . . . . . . . . . . . . . . . . . . . . . . . 77
Compiler Directives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
IEEE Std 1364-1995 compiler directives . . . . . . . . . . . . . . . . . . . . . . 80
Verilog-XL compatible compiler directives . . . . . . . . . . . . . . . . . . . . . 81
Using the Verilog PLI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Registering PLI applications . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Compiling and linking PLI applications . . . . . . . . . . . . . . . . . . . . . . . 84
The callback reason argument . . . . . . . . . . . . . . . . . . . . . . . . . . 87
The sizetf callback function . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Object handles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .89
Third party PLI applications . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Support for VHDL objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
IEEE Std 1364 ACC routines . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
IEEE Std 1364 TF routines . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Verilog-XL compatible routines . . . . . . . . . . . . . . . . . . . . . . . . . . 94
PLI tracing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6 - Multiple logfiles, datasets and virtuals (97)
Multiple logfiles and datasets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Opening and viewing datasets . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Using datasets with ModelSim commands . . . . . . . . . . . . . . . . . . . . . 100
Restricting the dataset prefix display . . . . . . . . . . . . . . . . . . . . . . . 101
Virtual Objects (User-defined buses, and more) . . . . . . . . . . . . . . . . . . . . 102