--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];
};