--JasmineTestCell.thy;  Created by Jasmine on, June 27, 1986 12:44:28 pm PDT
CIRCUIT[Lambda ← 1, TDegC ← 25] = {
Vdd: Node;
! /DATools/DATools6.1/Thyme/SignalGenerators.thy
! /DATools/DATools6.1/Thyme/BSim.thy
! /DATools/DATools6.1/Jasmine/Jasmine.thy
powerSupply: Voltage[Vdd, Gnd] = 5.0;
driveInput, m1n1, m2n1, m3n1, m3n2, m3n3, m3n4, m3n5, m3n6, m4n1, m4n2, m4n3, m4n4, m4n5, m5n1, m5n2, m5n3, m5n4, m6n1, m6n2, m6n3, m7n1, m7n2, m7n3, m7n4, m7n5, m7n6, m8n1, m9n1, m9n2, m9n3, m9n4, m9n5, m9n6, m9n7, m10n1, m10n2, m10n3, m11n1, m11n2, m11n3, m12n1, m12n2, m12n3, m13n1, m13n2, m13n3, m13n4, m13n5, m13n6, m14n1, m14n2, m14n3, m14n4, m14n5, m14n6, m14n7, m14n8, m14n9, m14n10, m15n1, m16n1, m16n2, m16n3, m16n4, m16n5, m16n6, m16n7, m16n8, m17n1, m18n1, m18n2, m18n3, m18n4, m18n5, m18n6, m19n1, m19n2, m19n3, m19n4, m20n1, m20n2, m20n3, m20n4, m20n5, m20n6, m21n1, m21n2, m21n3, m22n1, m22n2, m22n3, m22n4, m23n1, m23n2, m23n3, m23n4, m23n5, m23n6, m24n1, m24n2, m24n3, m25n1, m26n1, m27n1, m27n2, m28n1, m28n2, m28n3, m28n4, m29n1: Node;
CON0: Resistor[m1n1, m2n1] = 0.001K;
CON1: Resistor[m2n1, m3n1] = 0.03K;
CON2: Resistor[m3n1, m3n2] = 0.03K;
CON3: Resistor[m3n2, m3n3] = 0.001K;
CON4: Resistor[m3n3, m3n4] = 0.03K;
CON5: Resistor[m3n4, m3n5] = 0.001K;
CON6: Resistor[m3n5, m3n6] = 0.001K;
XTR0: ETran[driveInput, m3n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR1: ETran[driveInput, m4n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR2: ETran[driveInput, m4n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR3: ETran[driveInput, m4n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
WIR0: Resistor[m4n4, m4n5] = 0.000357K;
WIR1: Stray[m4n4 | aM2�, pM2�];
XTR4: ETran[driveInput, m4n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR5: ETran[driveInput, m5n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR6: ETran[driveInput, m5n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR7: ETran[driveInput, m5n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR8: ETran[driveInput, m5n4, Gnd | L𡤂, W𡤄, sdExtend𡤆];
WIR2: Resistor[m5n1, m6n1] = 0.001092K;
WIR3: Stray[m5n1 | aM2�, pM2�];
CON7: Resistor[m6n1, m6n2] = 0.001K;
CON8: Resistor[m6n2, m6n3] = 0.03K;
CON9: Resistor[m6n1, m7n1] = 0.001K;
CON10: Resistor[m7n1, m7n2] = 0.03K;
CON11: Resistor[m7n2, m7n3] = 0.001K;
CON12: Resistor[m7n3, m7n4] = 0.001K;
CON13: Resistor[m7n4, m7n5] = 0.03K;
CON14: Resistor[m7n5, m7n6] = 0.03K;
WIR4: Resistor[m7n1, m8n1] = 0.002436K;
WIR5: Stray[m7n1 | aM2�, pM2�];
CON15: Resistor[m8n1, m9n1] = 0.03K;
CON16: Resistor[m9n1, m9n2] = 0.03K;
CON17: Resistor[m9n2, m9n3] = 0.001K;
CON18: Resistor[m9n3, m9n4] = 0.03K;
CON19: Resistor[m9n4, m9n5] = 0.001K;
CON20: Resistor[m9n5, m9n6] = 0.001K;
WIR6: Resistor[m9n6, m9n7] = 0.000525K;
WIR7: Stray[m9n6 | aM2�, pM2�];
XTR9: ETran[driveInput, m9n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR10: ETran[driveInput, m10n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR11: ETran[driveInput, m10n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR12: ETran[driveInput, m10n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR13: ETran[driveInput, m10n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR14: ETran[driveInput, m11n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR15: ETran[driveInput, m11n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR16: ETran[driveInput, m11n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR17: ETran[driveInput, m11n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR18: ETran[driveInput, m12n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
CON21: Resistor[m12n2, m12n3] = 0.03K;
XTR19: ETran[driveInput, m12n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
CON22: Resistor[m12n1, m13n1] = 0.001K;
CON23: Resistor[m13n1, m13n2] = 0.03K;
CON24: Resistor[m13n2, m13n3] = 0.001K;
CON25: Resistor[m13n3, m13n4] = 0.001K;
CON26: Resistor[m13n4, m13n5] = 0.03K;
CON27: Resistor[m13n5, m13n6] = 0.03K;
CON28: Resistor[m13n1, m14n1] = 0.03K;
CON29: Resistor[m14n1, m14n2] = 0.001K;
CON30: Resistor[m14n2, m14n3] = 0.001K;
CON31: Resistor[m14n3, m14n4] = 0.001K;
WIR8: Resistor[m14n4, m14n5] = 0.000726K;
WIR9: Stray[m14n4 | aM2�, pM2�];
CON32: Resistor[m14n5, m14n6] = 0.03K;
CON33: Resistor[m14n6, m14n7] = 0.03K;
CON34: Resistor[m14n7, m14n8] = 0.001K;
WIR10: Resistor[m14n8, m14n9] = 0.002226K;
WIR11: Stray[m14n8 | aM2�, pM2�];
WIR12: Resistor[m14n9, m14n10] = 0.000504K;
WIR13: Stray[m14n9 | aM2�, pM2�];
CON35: Resistor[m14n1, m15n1] = 0.03K;
XTR20: ETran[driveInput, m15n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR21: ETran[driveInput, m16n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR22: ETran[driveInput, m16n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR23: ETran[driveInput, m16n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR24: ETran[driveInput, m16n4, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR25: ETran[driveInput, m16n5, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR26: ETran[driveInput, m16n6, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR27: ETran[driveInput, m16n7, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR28: ETran[driveInput, m16n8, Gnd | L𡤂, W𡤄, sdExtend𡤆];
CON36: Resistor[m16n1, m17n1] = 0.03K;
CON37: Resistor[m17n1, m18n1] = 0.001K;
CON38: Resistor[m18n1, m18n2] = 0.03K;
CON39: Resistor[m18n2, m18n3] = 0.001K;
CON40: Resistor[m18n3, m18n4] = 0.001K;
CON41: Resistor[m18n4, m18n5] = 0.03K;
CON42: Resistor[m18n5, m18n6] = 0.03K;
CON43: Resistor[m18n1, m19n1] = 0.03K;
CON44: Resistor[m19n1, m19n2] = 0.001K;
CON45: Resistor[m19n2, m19n3] = 0.001K;
CON46: Resistor[m19n3, m19n4] = 0.001K;
CON47: Resistor[m19n1, m20n1] = 0.03K;
CON48: Resistor[m20n1, m20n2] = 0.03K;
WIR14: Resistor[m20n2, m20n3] = 0.002478K;
WIR15: Stray[m20n2 | aM2�, pM2�];
CON49: Resistor[m20n3, m20n4] = 0.03K;
CON50: Resistor[m20n4, m20n5] = 0.001K;
WIR16: Resistor[m20n5, m20n6] = 0.000546K;
WIR17: Stray[m20n5 | aM2�, pM2�];
XTR29: ETran[driveInput, m20n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR30: ETran[driveInput, m21n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR31: ETran[driveInput, m21n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR32: ETran[driveInput, m21n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR33: ETran[driveInput, m21n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR34: ETran[driveInput, m22n1, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR35: ETran[driveInput, m22n2, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR36: ETran[driveInput, m22n3, Gnd | L𡤂, W𡤄, sdExtend𡤆];
XTR37: ETran[driveInput, m22n4, Gnd | L𡤂, W𡤄, sdExtend𡤆];
CON51: Resistor[m22n1, m23n1] = 0.001K;
CON52: Resistor[m23n1, m23n2] = 0.03K;
WIR18: Resistor[m23n2, m23n3] = 0.001176K;
WIR19: Stray[m23n2 | aM2�, pM2�];
CON53: Resistor[m23n3, m23n4] = 0.001K;
CON54: Resistor[m23n4, m23n5] = 0.03K;
CON55: Resistor[m23n5, m23n6] = 0.03K;
CON56: Resistor[m23n1, m24n1] = 0.001K;
CON57: Resistor[m24n1, m24n2] = 0.001K;
CON58: Resistor[m24n2, m24n3] = 0.001K;
WIR20: Resistor[m24n1, m25n1] = 0.000231K;
WIR21: Stray[m24n1 | aM2�, pM2�];
CON59: Resistor[m25n1, m26n1] = 0.001K;
CON60: Resistor[m26n1, m27n1] = 0.001K;
CON61: Resistor[m27n1, m27n2] = 0.001K;
WIR22: Resistor[m27n1, m28n1] = 0.0001625K;
WIR23: Stray[m27n1 | aM�, pM�];
WIR24: Resistor[m28n1, m28n2] = 0.00013K;
WIR25: Stray[m28n1 | aM�, pM�];
WIR26: Resistor[m28n2, m28n3] = 2.419444e-4K;
WIR27: Stray[m28n2 | aM�, pM�];
WIR28: Resistor[m28n3, m28n4] = 1.119444e-4K;
WIR29: Stray[m28n3 | aM�, pM�];
WIR30: Resistor[m28n1, m29n1] = 2.1125e-4K;
WIR31: Stray[m28n1 | aM�, pM�];
driver: BusDriver[driveInput, Vdd, m1n1];
driveSignal: Step[driveInput | OnLevel ← 0V, OffLevel ← 5V, tRise ← 1ns, tDelay ← 2ns];
};
PLOT["Jasmine Model", :1ns, -1, 6, driveInput, m29n1];
RUN[tMin ← 0ns, tMax ← 100ns];