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