Differences

This shows you the differences between two versions of the page.

--- tools:prsim [2019/05/01 10:14] – [Running Simulation] rajit
+++ tools:prsim [2022/06/22 10:58] (current) – [Running Simulation] rajit
@@ Line 27: / Line 27: @@
 </code>
-In this example, I've assumed that the circuit reset signals are the global variables ''Reset'' and ''_Reset''. You should use the appropriate signals for your circuit there. The nice thing about this setup is that you can have a ''prsim'' script file that looks something like this:
+In this example, I've assumed that the circuit reset signals are the global variables ''Reset'' and ''_Reset'', and that both ''Vdd'' and ''GND'' are defined as globals for the power supplies. You should use the appropriate signals for your circuit there. The nice thing about this setup is that you can have a ''prsim'' script file that looks something like this:
 <code>
@@ Line 75: / Line 75: @@
 set current running mode.
 ^ Mode ^ Effect ^
-| ''reset''/''run'' | ''reset'' turns off weak interference warnings (node still becomes X) and ''run'' turns them on |
+| ''reset'' | ''reset'' turns off weak interference warnings (node still becomes X). During chip initialization, there can be weak interference since the simulator assumes all nodes are initially X. Setting the mode to ''reset'' during the reset phase prevents these warnings from being printed to the screen. |
+| ''run'' | Warnings of weak interference are enabled. This should be the standard mode after the reset phase has completed. |
 <code>initialize</code>
@@ Line 165: / Line 167: @@
 set time scale to <t> picoseconds for tracing
+==== ACT Attributes for simulation ====
+Attributes can be added to production rules specified in ACT as follows:
+<code>
+    prs {
+      [after=20] a & b #> c-
+    }
+</code>
+Attributes currently recognized by ''prsim'' are:
+^ 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 ''weak'' attribute, it means the production rule has a weak drive and can be overridden by a stronger production rule during simulation |
+| unstab | if there is an ''unstab'' attribute, it means that the production rule may be unstable. ''prsim'' will suppress instability reporting on such rules |
 ===== Large Files =====