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/06/08 06:20] rajit [CMOS implementation] |
language:langs:prs [2022/07/10 15:01] (current) rajit [Direct transistor specifications] |
||
---|---|---|---|
Line 182: | 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, |