Expand
t1, t2: BIT;
pu1: pE[gate: ino1, ch1: Vdd, ch2: t1];
pu2: pE[gate: ino2, ch1: t1, ch2: out];
pu3: pE[gate: ina1, ch1: Vdd, ch2: out];
pd1: nE[gate: ino1, ch1: Gnd, ch2: t2];
pd2: nE[gate: ino2, ch1: Gnd, ch2: t2];
pd3: nE[gate: ina1, ch1: t2, ch2: out]