https://avlsi.csl.yale.edu/act/ 2026-05-06T10:24:26+00:00 https://avlsi.csl.yale.edu/act/ https://avlsi.csl.yale.edu/act/lib/exe/fetch.php?media=wiki:logo.png text/html 2026-02-24T02:11:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:expropt&rev=1771899096&do=diff Expression Synthesis Configuration The synthesis section of the configuration file specifies options for circuit synthesis in general. In particular, it has options for the expression optimizer (expropt), which is the interface between the ACT tool-suite and external logic synthesis tools, such as ABC. We use these external tools to perform synthesis of expressions into combinational logic by emitting Verilog files which correspond to a logical expression, running the synthesis tool to get a m… text/html 2025-08-02T17:12:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:generic&rev=1754154778&do=diff General technology configuration General technology configuration information is stored in global.conf. This file contains information that doesn't depend on most of the details of the technology provided by the foundry. The only item here that could be viewed as technology-specific corresponds to the transistor flavors supported (i.e. different thresholds, I/O transistors, etc). We normally use a fixed set of names for these transistor flavors in the ACT file, independent of technology. text/html 2025-11-19T11:31:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:layout&rev=1763551872&do=diff Layout configuration options The layout configuration parameters have to be selected by examining the design rule manual for the technology of interest. Since these parameters tend to be covered by NDAs, the ones provided below are for illustration purposes only and don't correspond to any real technology (they are roughly similar to the scalable CMOS rules). text/html 2021-10-19T11:09:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:lint&rev=1634641787&do=diff Linting configuration options These options are used to interpret the analog signal traces as digital values. The options are specified within a begin lint/end block. real Vdd 5.0 This specifies the value of the power supply in volts. real V_high 4.4 real V_low 0.4 text/html 2025-03-25T10:40:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:mangling&rev=1742899229&do=diff Name mangling Suppose we have set the mangling configuration parameters as: begin act string mangle_chars ".:()<>[],{}"" string mangle_letter "_" end The mangle_chars string defines the following map: * The first character . maps to 0 * The second character text/html 2025-11-19T11:26:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:netlist&rev=1763551571&do=diff Netlist configuration options The netlist section of the configuration file specifies transistor width defaults, and other information that controls netlist creation from production rules. The configuration file is prs2net.conf, although defaults may be specified in the ACT global configuration. text/html 2026-02-23T14:18:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:runtime&rev=1771856312&do=diff ACT Runtime Configuration The behavior of the core ACT library and the way an ACT file is interpreted is typically controlled by command-line options to specific tools. However, there are some common settings that can be selected using a local ACT configuration file and then passed to the ACT tool using the text/html 2025-08-01T12:39:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://avlsi.csl.yale.edu/act/doku.php?id=config:start&rev=1754051968&do=diff ACT Configuration Files There are a number of language features as well as tools that require some combination of technology-independent and technology-dependent information. ACT provides a unified configuration file format that can be used to specify this information. This file is automatically read in when the library is initialized through a call to