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