Expand
inl: BIT ← "H";
t1, t2: BIT;
latch: nE[gate: Clock, ch1: D, ch2: inl];
pu1: pE[gate: inl, ch1: Vdd, ch2: t2];
pd1: nE[gate: inl, ch1: Gnd, ch2: t2];
pu2: wpu[gate: t2, ch1: Vdd, ch2: inl];
pd2: nE[gate: t2, ch1: t1, ch2: inl];
bias: wpd[gate: BiasMinus, ch1: Gnd, ch2: t1];
pu3: pE[gate: t2, ch1: Vdd, ch2: Q];
pd3: nE[gate: t2, ch1: Gnd, ch2: Q]