--Jasmine.thy
-- Last Edited by: Neil Gunther July 25, 1986 7:15:17 pm PDT
TwoStageBuffer: CIRCUIT[output] = {
n1, n2: Node;
QP1: CTran [n1, Vdd, n2| L ← 2, W ← 4, sdExtend ← 3];
QN1: ETran[n1, n2, Gnd| L ← 4, W ← 400, sdExtend ← 6];
QP2: CTran [n2, Vdd, output| L ← 4, W ← 8, sdExtend ← 5];
QN2: ETran[n2, output, Gnd| L ← 4, W ← 8000, sdExtend ← 5];
stim: Pulse[n1 | amplitude ← 5V, offset ← 0, period ← 10ns, width ← 5ns, tRise ← 1ns, tFall ← 2ns, tDelay ← 0ns];
};