Differences

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

--- language:langs:start [2022/06/29 16:20]
rajit [Selecting sub-language level]
+++ language:langs:start [2022/07/11 07:43] (current)
rajit [Auxillary sub-languages]
@@ Line 25: / Line 25: @@
 The refinement body is simply a standard ACT body. When the refinement body is selected, the other circuit languages are omitted. Similarly when one of CHP/HSE/PRS are selected, the refinement body is omitted. The refinement body can be selected using the ''-ref=N'' [[stdoptions:start|command-line option]] for any ACT tool.
-===== Auxillary sub-languages =====
+===== Auxiliary sub-languages =====
+Auxiliary sub-languages augment the circuit specification in some way. The sizing sub-language can be used to specify gate sizing directives that apply to the ''prs'' sub-language.  The ''spec'' sub-language can be used to apply a range of directives to Boolean-valued variables. These directives include timing requirements, mutual exclusion requirements, and specifications of signals that can have switching hazards.
   * [[sizing|Gate sizing directives]]