Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
language:langs:prs [2022/05/13 08:52] rajit |
language:langs:prs [2022/07/10 15:01] rajit [Direct transistor specifications] |
||
---|---|---|---|
Line 120: | Line 120: | ||
~a | ~b -> e+ | ~a | ~b -> e+ | ||
</ | </ | ||
+ | This is because '' | ||
=== Transistor sizing and flavors === | === Transistor sizing and flavors === | ||
Line 137: | Line 138: | ||
a < | a < | ||
</ | </ | ||
- | Transistors come in different //flavors// in a modern technology. The flavors supported by ACT are specified in the top-level ACT [[config: | + | Transistors come in different //flavors// in a modern technology. The flavors supported by ACT are specified in the top-level ACT [[config: |
Finally, it is often the case that multiple transistors in an expression use the same sizing information. | Finally, it is often the case that multiple transistors in an expression use the same sizing information. | ||
Line 181: | Line 182: | ||
</ | </ | ||
The '' | The '' | ||
+ | |||
+ | ==== Direct transistor specifications ==== | ||
+ | |||
+ | In case this syntax is not sufficient, the '' | ||
+ | <code act> | ||
+ | prs { | ||
+ | passp < | ||
+ | passn < | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Note that automatic staticizer (keeper) generation is only triggered when a production rule is specified. If part of your circuit for an output signal is described using production rules and part of it is described using transistors, | ||
+ | |||
+ | ==== Explicit capacitors ==== | ||
+ | |||
+ | The '' | ||
+ | <code act> | ||
+ | prs { | ||
+ | cap (node1, node2); /* explicit capacitor of one unit size between the two nodes */ | ||
+ | cap< | ||
+ | cap< | ||
+ | } | ||
+ | </ | ||
+ | The unit capacitor is specified in the netlist configuration file; if it is unspecified, |