Differences

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

--- tools:prsim [2020/12/02 06:00] – external edit 127.0.0.1
+++ tools:prsim [2025/05/01 13:27] (current) – [prsim: Production rule simulation] rajit
@@ Line 1: / Line 1: @@
 ====== prsim: Production rule simulation ======
+//**Note: prsim is now deprecated; please use [[tools:actsim|actsim]] instead.**//
 Before using ''prsim'' to simulate a set of production rules, they must first be flattened using ''aflat''. Assuming your production rules are in a file called ''circuit.act'', you would run:
@@ Line 75: / Line 77: @@
 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 169: @@
 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 =====