https://avlsi.csl.yale.edu/act/ 2026-05-07T06:17:05+00:00 https://avlsi.csl.yale.edu/act/ https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png text/html 2022-07-17T10:09:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=stdlib:globals&rev=1658052581&do=diff Globals The global file contains global signal names for power (Vdd), ground (GND), and the chip reset signal (Reset). It also associates the sigtype attribute with these signals so that tools can associate these signals with the appropriate type. Include this file using text/html 2022-07-16T20:00:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=stdlib:spreset&rev=1658001604&do=diff Additional global Resets The spreset.act file can be imported for two global resets: the first reset (fReset), and second reset (sReset). The reset protocol used is: * Assert fReset and sReset * De-assert fReset * De-assert sReset sReset is connected to text/html 2024-07-04T13:44:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=stdlib:start&rev=1720100644&do=diff The ACT Standard Library The ACT standard library contains a number of standard ACT definitions that are commonly used in asynchronous design. * Namespace globals: Standard global signals * Namespace math: Auxillary functions for math * Namespace std: The standard namespace