Differences

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

--- language:langs:spec [2023/11/18 16:56] – [Timing constraints] rajit
+++ language:langs:spec [2024/12/19 12:18] (current) – [Exclusive directives] rajit
@@ Line 20: / Line 20: @@
  }
 </code>
-states that the signals ''a'' and ''b'' will not be true (high) simultaneously, and this is guaranteed by the production rules in the circuit.
+states that the signals ''a'' and ''b'' will not be true (high) simultaneously, and this is guaranteed by the production rules in the circuit. Violations of this requirement can be detected by ''actsim'' when it is run with the ''-m'' option.
 To simplify modeling of arbiters that cannot be modeled purely at the digital level of abstraction, we include a specific directive that we call "make exclusive high".
@@ Line 53: / Line 53: @@
 === Timing constraints ===
-Timing constraints in ACT are specified using timing forks. Timing forks are used to specify a point of divergence relative timing constraint. The constraint
+Timing constraints in ACT are specified using [[asic:timing:forks|timing forks]]. Timing forks are used to specify a point of divergence relative timing constraint. The constraint
 <code act>
 spec {