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


-- N o d e s

    -- Vdd:node; ?:Stray[Vdd|aM_1168];
    -- Gnd:node; ?:Stray[Gnd|aM_2350,aP_528,aD_1320,pD_499];
    PAD:node; ?:Stray[PAD|aM_4200,aP_12,aD_950,pD_707];


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

    Q1:ETran[Gnd,Gnd,PAD|W_240];

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