For options that take an argument, the space between the flag and the argument is optional.
With no arguments, just print a list of all command-line options, much like what is summarized below.
Batch mode, non-interactive, promptless. This is useful for running scripts or piping in commands while suppressing prompts. This mode also turns off tab-completion in the interpreter. The opposing option is -i. Note: executables linked against libeditline may require this option for processing scripts due to a mishandling of EOF.
Produce a textual dump of a checkpoint binary. Exits without running the simulator.
Append path to the list of paths to search for sourcing other command scripts in the interpreter.
Append path to the list of paths to search for opening shared library plug-ins (modules). The equivalent command in the interpreter is dladdpath. For more on building and loading shared-libraries, See Extending simulation.
Load the lib shared library module for registering user-defined run-time functions. lib should be named without its file extension, for the sake of portability. For example, libcrunch.la should be referenced as ‘libcrunch’, and chewy.so should be referenced as ‘chewy’. The equivalent command in the interpreter is dlopen.
Pass to indicate that input file is a source (to be compiled) as opposed to an object file.
Startup the simulation already recording a trace file of every event. Trace file is automatically close when simulation exits. This is equivalent issuing trace command at the beginning of a simulation session.
Instead of expanding the whole top-level instances, only operate on the given type type, i.e. instantiate one instance of type as the top-level. This variation, however does not expand subinstances recursively, like the -T option. This is particularly useful for examining the CHP event structure of a particular definition.
Instantiate one instance of type type as the top-level, ignoring all previous top-level instances in the object file. This variation does recursively instantiate substructures. The ports of the instance of type (if any) will not be connected to any other processes. This is particularly useful for selecting test structures out of a collection of test structure definitions.