circuit[Lambda ← 2.5, supplyVoltage ← 5] = {
  ! ChipCMosDefs.thy


-- N o d e s

    -- Vdd:node; ?:Stray[Vdd|aM←3525,aD←1879,pD←812];
    -- Gnd:node; ?:Stray[Gnd|aM←4065,aD←1930,pD←800];
    PAD:node; ?:Stray[PAD|aM←6668,aP←176,aD←3576,pD←1514];
    N1:node; ?:Stray[N1|aM←285,aP←292,aD←140,pD←96];
    N2:node; ?:Stray[N2|aM←89,aP←132,aD←52,pD←40];
    IN:node; ?:Stray[IN|aP←82];
    N3:node; ?:Stray[N3|aM←2415,aP←2672,aD←408,pD←286];


-- T r a n s i s t o r s

    Q1:ETran[N1,Gnd,N3|W←57];
    Q2:CTran[N1,N3,Vdd|W←57];
    Q3:ETran[IN,N2,Gnd];
    Q4:CTran[IN,N2,Vdd];
    Q5:ETran[N2,Gnd,N1|W←17];
    Q6:CTran[N2,N1,Vdd|W←17];
    Q7:CTran[N3,PAD,Vdd|W←440];
    Q8:ETran[N3,Gnd,PAD|W←440];

  powerSupply: voltage[Vdd, Gnd] = supplyVoltage;
  !CMOSPADOUT.inputs
}; !CMOSPADOUT.control