CIRCUIT[Lambda ← 1, Temp ← 25] = {
out, Vdd, Vzero: node;
! ThymeBasics
! CMOS2.0u25C
powerSupply: voltage[Vdd, Gnd] = 5.0;
?: capacitor[out, Gnd] = 1pF;
vBiasTop: PETran[out, Vdd, out, Vdd | l ← 2, w ← 4];
vBiasBot: NETran[out, Gnd, out, Gnd | l ← 19, w ← 3];
prech: PETran[out, Vdd, Vzero, Vdd | l ← 2, w ← 4];
nandPullDown: NETran[Vdd, Gnd, Vzero, Gnd | l ← 16, w ← 8];
};