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, m1n56, m2n56, m3n56, m4n56, m4n55, m5n56, m6n56, m7n56, m7n55, m8n56, m9n56, m10n56, m11n56, m11n55, m12n56, m13n56, m14n56, m14n57, m16n56, m16n55, m17n56, m17n55, m18n56: Node;

WIR1: Resistor[m1n56, m2n56] = 0.00013K;

WIR2: Stray[m1n56 | aM�, pM�];

WIR3: Resistor[m2n56, m3n56] = 0.01225K;

WIR4: Stray[m2n56 | aP�, pP�];

XTR1: Stray[m3n56 | aG𡤈, pG�];

CON1: Resistor[m4n56, m4n55] = 0.025K;

WIR5: Resistor[m4n56, m5n56] = 0.00013K;

WIR6: Stray[m4n56 | aM�, pM�];

WIR7: Resistor[m5n56, m6n56] = 0.1575K;

WIR8: Stray[m5n56 | anD�, pnD�];

CON2: Resistor[m7n56, m7n55] = 0.03K;

XTR2: ETran[driveInput, m7n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

WIR9: Resistor[m8n56, m9n56] = 2.166667e-4K;

WIR10: Stray[m8n56 | aM�, pM�];

WIR11: Resistor[m9n56, m10n56] = 0.1575K;

WIR12: Stray[m9n56 | anD�, pnD�];

CON3: Resistor[m11n56, m11n55] = 0.03K;

XTR3: ETran[driveInput, m11n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

WIR13: Resistor[m12n56, m13n56] = 0.1575K;

WIR14: Stray[m12n56 | anD�, pnD�];

WIR15: Resistor[m13n56, m14n56] = 4.333334e-4K;

WIR16: Stray[m13n56 | aM�, pM�];

CON4: Resistor[m14n57, m14n56] = 0.03K;

XTR4: ETran[driveInput, m14n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

CON5: Resistor[m16n56, m16n55] = 0.001K;

WIR17: Resistor[m16n56, m17n56] = 0.0001155K;

WIR18: Stray[m16n56 | aM2�, pM2�];

WIR19: Resistor[m17n56, m17n55] = 0.000567K;

WIR20: Stray[m17n56 | aM2�, pM2�];

WIR21: Resistor[m17n56, m18n56] = 0.000168K;

WIR22: Stray[m17n56 | aM2𡤄, pM2�];

driver: BusDriver[driveInput, Vdd, m1n1];

driveSignal: Pulse[driveInput | amplitude𡤅V, offset𡤀, period𡤅ns, width𡤅ns, tRise𡤂ns, tFall𡤂ns, tDelay𡤀];

};