Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tools:start [2022/06/24 07:07] rajit |
tools:start [2023/01/14 10:55] rajit |
||
---|---|---|---|
Line 3: | Line 3: | ||
In addition to the core ACT library, we have also implemented a number of tools for asynchronous circuit design. Some of the core tools are included as part of the main Github repository, while others have their own repository. For completeness, | In addition to the core ACT library, we have also implemented a number of tools for asynchronous circuit design. Some of the core tools are included as part of the main Github repository, while others have their own repository. For completeness, | ||
- | * [[prsim|prsim]]: | + | |
* [[actsim|actsim]]: | * [[actsim|actsim]]: | ||
* [[netgen|prs2net]]: | * [[netgen|prs2net]]: | ||
* [[prs2sim|prs2sim]]: | * [[prs2sim|prs2sim]]: | ||
- | | + | |
+ | | ||
- | Of these tools, '' | + | These are core ACT tools--i.e. tools that use the core ACT library and take ACT files as input. They also accept the standard ACT [[: |
Standalone tools: | Standalone tools: | ||
+ | * [[prsim|prsim]]: | ||
+ | * aflat and prspack: a production rule flattener and compaction tool. See the documentation for [[prsim|prsim]]. | ||
* [[AMC: | * [[AMC: | ||
- | * [[ext2sp|ext2sp]]: | + | |
- | * [[lvp|lvp]]: | + | |
External open-source tools: | External open-source tools: |