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