Differences

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

--- language:langs:start [2022/06/29 19:05] – [Selecting sub-language level] rajit
+++ language:langs:start [2022/07/11 11:43] (current) – [Auxillary sub-languages] rajit
@@ 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]]
@@ Line 46: / Line 48: @@
 end
 </code>
-This specifies the default level selected for every process.
+This specifies the default level selected for every process. (Dataflow is treated as fine-grained parallel CHP.)
+<code>
+begin level
+   begin types
+   # chp process model
+     string_table chp "procname<5>"  "proc2<>"
+   # prs process model
+     string_table prs "proc3<>"
+   end
+end
+</code>
+This specifies that the particular process names should be modeled at the specified level of abstraction.