Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
language:langs:spec [2024/02/02 11:12] – rajitlanguage:langs:spec [2024/12/19 12:18] (current) – [Exclusive directives] rajit
Line 20: Line 20:
  }  }
 </code> </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". 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".
language/langs/spec.txt · Last modified: by rajit
Except where otherwise noted, content on this wiki is licensed under the following license: GNU Free Documentation License 1.3


  • Show page
  • Old revisions
  • Backlinks
  • Recent Changes
  • Media Manager
  • Sitemap