Vdd: Node;

! /DATools/DATools6.1/Thyme/SignalGenerators.thy

! /DATools/DATools6.1/Thyme/BSim.thy

! ///Users/gunther.pa/chips/Jasmine.thy

powerSupply: voltage[Vdd, Gnd] = 5.0;

n1, n2, n3, g1, g2: Node;

QP1: CTran[g1, n2, Gnd| L ← 4, W ← 80, sdExtend ← 5]; --pE

R1: Resistor[n2, n3] = 0.01225K;

QN1: ETran[g2, n3, Gnd| L ← 4, W ← 80, sdExtend ← 5]; --nE

busDriver: TwoStageBuffer[n1];

sw1: RectWave[g1 | OnLevel ← 5V, OffLevel ← 0V, period ← 10ns, width ← 5ns, tRise ← 1ns, tFall ← 2ns, tDelay ← 0ns];

sw2: RectWave[g2 | OnLevel ← 5V, OffLevel ← 0V, period ← 10ns, width ← 5ns, tRise ← 1ns, tFall ← 2ns, tDelay ← 5ns];

};