Usage - HACKT PRSIM Manual
Description: HACKT PRSIM Manual

Next: Commands, 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

> Help. 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().