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


-- N o d e s

    -- Vdd:node; ?:Stray[Vdd|aM_3492,aD_2185,pD_875];
    -- Gnd:node; ?:Stray[Gnd|aM_4077,aD_1728,pD_791];
    N1:node; ?:Stray[N1|aM_1187,aP_1745,aD_220,pD_150];
    PAD:node; ?:Stray[PAD|aM_6668,aP_178,aD_3576,pD_1514];
    EN:node; ?:Stray[EN|aP_244];
    N2:node; ?:Stray[N2|aM_123,aP_146,aD_62,pD_55];
    IN:node; ?:Stray[IN|aP_68];
    N3:node; ?:Stray[N3|aD_8,pD_12];
    N4:node; ?:Stray[N4|aM_211,aP_172,aD_64,pD_57];
    N5:node; ?:Stray[N5|aD_8,pD_12];
    N6:node; ?:Stray[N6|aM_72,aP_172,aD_40,pD_34];
    N7:node; ?:Stray[N7|aM_1257,aP_1336,aD_220,pD_150];


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

    Q1:ETran[N6,Gnd,N7|W_28];
    Q2:CTran[N6,N7,Vdd|W_28];
    Q3:ETran[N2,Gnd,N6];
    Q4:CTran[N2,N6,Vdd];
    Q5:CTran[N2,N4,Vdd];
    Q6:ETran[EN,N5,N4];
    Q7:CTran[EN,N4,Vdd];
    Q8:ETran[N2,Gnd,N5];
    Q9:CTran[EN,N2,Vdd];
    Q10:ETran[EN,N3,Gnd];
    Q11:ETran[IN,N3,N2];
    Q12:CTran[IN,N2,Vdd];
    Q13:ETran[N4,Gnd,N1|W_28];
    Q14:CTran[N4,N1,Vdd|W_28];
    Q15:CTran[N7,PAD,Vdd|W_440];
    Q16:ETran[N1,Gnd,PAD|W_440];

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