Next: , Previous: Introduction, Up: Top


2 Usage

FYI: the documentation here is extracted from source file main/prsim.cc.

— User Option: -a file

Automatically save checkpoint file upon exit, regardless of the exit status. Useful for debugging and resuming simulations.

— User Option: -b

Batch mode. Run non-interactively, suppressing the prompt and disabling tab-completion (from readline or editline). Useful for scripted jobs. Opposite of -i.

— User Option: -d ckpt

Print textual dump of prsim checkpoint file ckpt.

— User Option: -D time

Override the default delay value applied to unspecified rules.

— User Option: -f flag

See General Flags.

— User Option: -h

Print command-line options help and exit.

— User Option: -H

Print list of all interpreter commands and exit.

— User Option: -i

Interactive mode. Show prompt before each command. Enable tab-completion if built with readline/editline. Opposite of -b.

— User Option: -I path (repeatable)

Append path to the list of paths to search for sourcing other command scripts in the interpreter.

— User Option: -O lvl

Optimize internal expanded representation of production rules. Optimizations do not affect the event outcome of simulations. Current valid values of lvl are 0 (none) and 1. For more details, See Optimization Flags.

— User Option: -r 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.

— User Option: -t type

Instead of using the top-level instances in the source file, instantiate one instance of the named type, propagating its ports as top-level globals. In other words, use the referenced type as the top-level scope, ignoring the source's top-level instances. Convenient takes place of copy-propagating a single instance's ports.

— User Option: -c

Pass to indicate that input file is a source (to be compiled) as opposed to an object file.

— User Option: -C options

When input is a source file, forward options to the compiler driver. NOTE: This feature does not work yet, due to non-reentrant getopt().

— User Option: -v

Print version and exit.