Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
tools:prsim [2019/04/18 18:21] rajit [Tracing] |
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 72: | Line 72: | ||
==== Running Simulation ==== | ==== Running Simulation ==== | ||
- | < | + | < |
set current running mode. | set current running mode. | ||
^ Mode ^ Effect ^ | ^ Mode ^ Effect ^ | ||
- | | '' | + | | '' |
- | | '' | + | | '' |
< | < | ||
Line 145: | Line 146: | ||
< | < | ||
print the set of nodes for which < | print the set of nodes for which < | ||
+ | |||
+ | < | ||
+ | save a simulation checkpoint to < | ||
+ | |||
+ | < | ||
+ | restore simulation state from a checkpoint | ||
==== Tracing ==== | ==== Tracing ==== | ||
Line 160: | Line 167: | ||
set time scale to <t> picoseconds for tracing | 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 ===== | ===== Large Files ===== |