Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
language:langs:start [2022/06/29 15:05] 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 '' | 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 '' | ||
- | ===== Auxillary | + | ===== Auxiliary |
+ | |||
+ | 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 '' | ||
* [[sizing|Gate sizing directives]] | * [[sizing|Gate sizing directives]] | ||
Line 46: | Line 48: | ||
end | end | ||
</ | </ | ||
- | This specifies the default level selected for every process. | + | This specifies the default level selected for every process. |
+ | |||
+ | < | ||
+ | begin level | ||
+ | begin types | ||
+ | # chp process model | ||
+ | | ||
+ | # prs process model | ||
+ | | ||
+ | end | ||
+ | end | ||
+ | </ | ||
+ | This specifies that the particular process names should be modeled at the specified level of abstraction. |