Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
language:langs:refine [2022/09/16 08:54] rajit |
language:langs:refine [2022/09/16 08:57] (current) rajit |
||
---|---|---|---|
Line 35: | Line 35: | ||
| | ||
</ | </ | ||
+ | At this point, a tool can select the level of abstraction/ | ||
- | Now imagine that instead of writing the production rules directly, you'd like to instantiate a set of gates to implement the circuit. | + | Now imagine that instead of writing the production rules directly, you'd like to instantiate a set of gates to implement the circuit. |
<code act> | <code act> | ||
defproc example(...) | defproc example(...) | ||
Line 49: | Line 50: | ||
} | } | ||
</ | </ | ||
- | then this means that the process has a CHP definition, and //in addition// it has the specified instances! This is not what was intended; we'd like to use the CHP definition //or// the instances. To provide support for this, the '' | + | As written, |
+ | |||
+ | To provide support for this, the '' | ||
<code act> | <code act> | ||
defproc example(...) | defproc example(...) | ||
Line 64: | Line 67: | ||
} | } | ||
</ | </ | ||
- | Now you can //pick// the refined version of the process by using the ACT command-line option '' | + | Now you can //pick// the refined version of the process by using the ACT command-line option '' |
+ | |||
+ | This approach is used in the '' |