Differences

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

--- language:langs:spec [2024/02/02 11:12] – 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".