BugHunter Pro and the VeriLogger Simulators

5.11 Simxloader: Simulator

5.11 Simxloader: Simulator

Previous topic Next topic  

5.11 Simxloader: Simulator

Previous topic Next topic  

Simxloader loads and runs a simulation snapshot (a compiled simulation). Below is a complete list of the options can be passed to simxloader to control how the simulation is run. Note that all these options can also be passed to simx when simx is being used to automatically run simxloader.

Usage:

simxloader [options]...

Supported Dash options:

-h              

Print this help message

-l <filename>  

Set log file name

-s            

Enter interactive mode immediately

-f <filename>  

Read command line arguments from file

-r <snapshot>  

Load specified simulation snapshot

-R              

Load recent snapshot

--scd_msg_enable <msg_level>=0|1

Enables or disables printing messages at specified msg_level. Accepted msg_levels:

                  - failure,

                  - error,

                  - warning,

                  - note,

                  - diagnostic

--scd_ncsimliketchkmsg

Prints timing violation messages in NCSim format.

--scd_no_prefix

Allows to avoid printing a `SIM: ' prefix before simulator stdout output

--scd_source_info_at_reference

Properties accessed with vpiFile and vpiLineNo are taken from reference expressions. By default these properties are taken from referenced objects declarations.

--scd_source_info_at_declaration

Properties accessed with vpiFile and vpiLineNo are taken from referenced objects. Overrides prior --scd_source_info_at_reference.

--scd_max_delta=<limit>

By default, simulation will be interrupted if more than a 1000 iterations occur during a single time step. This limit can be changed using the --sdc_max_delta=<limit> option where limit is a the number of iterations. If +linedebug is enabled, the simulator will print the location where the last process executed prior to the interrupt. The simulation can be continued from the interruption using a run command, if desired.

Options changing event queue order: (supports race detection)

--scd_invert_queue

Inverts default order of executed processes. May impact performance negatively .

--scd_randomize_queue

Randomizes default order of executed processes. May impact performance negatively.

Modelsim compatibility options:

--scd_mtilike_queue

Executes events in similar order as Modelsim does.

+mti_compat    

Enables all Modelsim compatibility options listed above.

Supported plus options:

+append_log    

Append the log to an existing logfile

+loadpli1=<arg>

Specify the library_name:boot_routine(s) to dynamically load a PLI1.0 application

+loadvpi=<arg>  

Specify the library_name(s) to dynamically load a VPI application

+nostdout      

Turn off output to screen(terminal)

+tcl+<file>    

Read TCL commands from file

+version        

Prints the version number

+nocopyright    

Suppress printing of copyright/version information