Differences

This shows you the differences between two versions of the page.

--- language:langs:prs [2022/06/08 10:20] – [CMOS implementation] rajit
+++ language:langs:prs [2024/08/07 11:09] (current) – [Loops] rajit
@@ Line 105: / Line 105: @@
 }
 </code>
+==== Attributes ====
+Production rules can also be decorated with attributes that are used for a variety of purposes by ACT tools. The meaning of attributes is not pre-defined within the ACT language, but is a convention based on how these attributes are interpreted by various tools. Current attributes and their meanings is available in the section on [[language:attributes|attributes]].
 ==== CMOS implementation ====
@@ Line 182: / Line 186: @@
 </code>
 The ''*'' before the opening brace says that the leakage adjustment parameter should be used. Note that leakage adjustment applies to the entire process/cell, even if the parameter is specified only in one of the ''prs'' blocks or ''sizing'' blocks.
+==== Direct transistor specifications ====
+In case this syntax is not sufficient, the ''prs'' language also includes support for specifying individual transistors. Since these are typically used as pass gates or transmission gates in digital circuits, we use the following syntax:
+<code act>
+prs {
+   passp <10,4> (gate, source, drain)   /* p-type device, with specified sizing */
+   passn <20,8> (gate, source, drain)   /* n-type device with specified sizing */
+}
+</code>
+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, then staticizer generation will likely be triggered; you can turn this off using the ''[keeper=0]'' [[tools:netgen#Attributes|attribute]].
+==== Explicit capacitors ====
+The ''prs'' sublanguage can also be used for designing mixed-signal circuits. Explicit capacitors can be specified in the following manner:
+<code act>
+prs {
+  cap (node1, node2); /* explicit capacitor of one unit size between the two nodes */
+  cap<10> (node1, node2); /* capacitor of size 10 units */
+  cap<10,5> (node1, node2) /* capacitor of size 10*5 units */
+}
+</code>
+The unit  capacitor is specified in the netlist configuration file; if it is unspecified, the value of 1fF is used.