Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
language:langs:refine [2022/09/16 08:52]
rajit
language:langs:refine [2022/09/16 08:54]
rajit
Line 64: Line 64:
 } }
 </code> </code>
-Now you can //pick// the refined version of the process by using the ACT command-line option ''-ref=1''+Now you can //pick// the refined version of the process by using the ACT command-line option ''-ref=1''. This approach is used in the ''chp2prs'' tool to provide an implementation of the CHP. This is the standard convention used in any tool that takes CHP and generates a circuit-level description. By augmenting the definition of the process in this manner, you can model the process at both the CHP level of abstraction as well as a more detailed representation containing a collection of instances that implement the CHP.