Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
language:langs:start [2022/06/29 15:03] rajit [Auxillary sub-languages] |
language:langs:start [2022/06/29 16:20] rajit [Selecting sub-language level] |
||
---|---|---|---|
Line 38: | Line 38: | ||
* device, which corresponds to the transistor-level implementation of the gates. The device level doesn' | * device, which corresponds to the transistor-level implementation of the gates. The device level doesn' | ||
+ | A configuration file can be specified that selects the level of detail for a process | ||
+ | < | ||
+ | begin level | ||
+ | # valid strings are " | ||
+ | | ||
+ | end | ||
+ | </ | ||
+ | This specifies the default level selected for every process. (Dataflow is treated as fine-grained parallel CHP.) | ||
+ | |||
+ | < | ||
+ | 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. | ||