Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
tools:prsim [2019/04/18 14:55] rajit created |
tools:prsim [2022/06/22 06:58] (current) rajit [Running Simulation] |
||
---|---|---|---|
Line 27: | Line 27: | ||
</ | </ | ||
- | In this example, I've assumed that the circuit reset signals are the global variables '' | + | In this example, I've assumed that the circuit reset signals are the global variables '' |
< | < | ||
Line 38: | Line 38: | ||
cycle | cycle | ||
</ | </ | ||
+ | |||
+ | ===== Commands ===== | ||
+ | ==== General ==== | ||
+ | |||
+ | < | ||
+ | display a list of commands with short descriptions | ||
+ | |||
+ | < | ||
+ | terminate | ||
+ | |||
+ | < | ||
+ | read in a script file and execute the commands within | ||
+ | |||
+ | |||
+ | ==== Timing ==== | ||
+ | |||
+ | < | ||
+ | Set the random timing mode and optionally specify the default random timing bounds for all nodes. | ||
+ | |||
+ | < | ||
+ | set the seed for the random timing mode. | ||
+ | |||
+ | < | ||
+ | Set the deterministic timing mode. | ||
+ | |||
+ | < | ||
+ | turn on/off random exclhi/lo firings | ||
+ | |||
+ | < | ||
+ | For the random timing mode, set the random timing bounds for the up and down transitions for a specified node. | ||
+ | |||
+ | |||
+ | ==== Running Simulation ==== | ||
+ | |||
+ | < | ||
+ | set current running mode. | ||
+ | ^ Mode ^ Effect ^ | ||
+ | | '' | ||
+ | | '' | ||
+ | |||
+ | |||
+ | < | ||
+ | initialize the simulation, setting all nodes to '' | ||
+ | |||
+ | < | ||
+ | simulate < | ||
+ | |||
+ | < | ||
+ | simulate for < | ||
+ | |||
+ | < | ||
+ | simulate until the next transition on < | ||
+ | |||
+ | < | ||
+ | set a breakpoint on < | ||
+ | |||
+ | < | ||
+ | toggles the break-on-warn flag which stops/ | ||
+ | |||
+ | < | ||
+ | like break-on-warn, | ||
+ | |||
+ | |||
+ | ==== Setting/ | ||
+ | |||
+ | < | ||
+ | set the node, bus, or vector < | ||
+ | |||
+ | < | ||
+ | get value of a node, bus, or vector < | ||
+ | |||
+ | < | ||
+ | assert that the node, bus, or vector < | ||
+ | |||
+ | < | ||
+ | get value of node <n> but report its canonical name | ||
+ | |||
+ | < | ||
+ | select <n> as the canonical name for a node | ||
+ | |||
+ | < | ||
+ | add watchpoint for <n> | ||
+ | |||
+ | < | ||
+ | delete watchpoint for <n> | ||
+ | |||
+ | < | ||
+ | watch all nodes | ||
+ | |||
+ | ==== Debug ==== | ||
+ | |||
+ | < | ||
+ | list all nodes with specified value, optional prefix/ | ||
+ | |||
+ | < | ||
+ | print the prsim pending event queue | ||
+ | |||
+ | < | ||
+ | list all of the name aliases for < | ||
+ | |||
+ | < | ||
+ | print the production rules that drive < | ||
+ | |||
+ | < | ||
+ | print the production rules that drive < | ||
+ | |||
+ | < | ||
+ | print the set of nodes for which < | ||
+ | |||
+ | < | ||
+ | save a simulation checkpoint to < | ||
+ | |||
+ | < | ||
+ | restore simulation state from a checkpoint | ||
+ | |||
+ | ==== Tracing ==== | ||
+ | |||
+ | < | ||
+ | dump transition counts for nodes to < | ||
+ | |||
+ | < | ||
+ | turns on < | ||
+ | |||
+ | < | ||
+ | Create atrace file for < | ||
+ | |||
+ | < | ||
+ | set time scale to <t> picoseconds for tracing | ||
+ | |||
+ | ==== ACT Attributes for simulation ==== | ||
+ | |||
+ | Attributes can be added to production rules specified in ACT as follows: | ||
+ | < | ||
+ | prs { | ||
+ | [after=20] a & b #> c- | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Attributes currently recognized by '' | ||
+ | |||
+ | ^ Attribute ^ Meaning ^ | ||
+ | | after | used to set the delay in simulation time units for the production rule firing in non-random timing mode | | ||
+ | | weak | if there is a '' | ||
+ | | unstab | if there is an '' | ||
+ | |||
+ | ===== Large Files ===== | ||
+ | |||
+ | The output of '' | ||
+ | aflat circuit.act | prspack table > circuit.packprs | ||
+ | </ | ||
+ | This creates a packed production rule file, as well as a number of files called '' | ||
+ | prsim -n table circuit.packprs | ||
+ | </ | ||
+ | The '' | ||
+ | |||
+ | |||