CIRCUIT[Lambda ← 1, Temp ← 25] = {
in, out, Vdd: node;
! ThymeBasics
! CMOS2.0u25C
powerSupply: voltage[Vdd, Gnd] = 5.0;
?: capacitor[out, Gnd] = 0.001pF;
?: PETran[in, Vdd, out, Vdd | l ← 2, w ← 4, as ← 60, ad ← 60, ps ← 34, pd ← 34];
?: NETran[in, Gnd, out, Gnd | l ← 4, w ← 2, as ← 30, ad ← 30, ps ← 32, pd ← 32];
?: RectWave[in | period ← 30ns, width ← 16ns, tRise ← 1ns, tFall ← 1ns, tDelay ← 14ns];
};