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, m2n56, m2n55, m3n56, m3n58, m3n57, m3n55, m3n54, m3n53, m3n52, m4n56, m4n57, m4n55, m5n56, m5n57, m6n56, m7n56, m8n56, m8n55, m9n56, m10n56, m10n59, m10n58, m10n57, m10n55, m10n54, m10n53, m11n56, m11n58, m11n57, m12n56, m12n57, m13n56, m14n56, m14n55, m15n56, m15n58, m15n57, m15n55, m15n54, m15n53, m15n52, m16n56, m16n57, m16n55, m17n56, m17n57, m18n56, m19n56, m20n56, m20n55, m21n56, m21n58, m21n57, m22n56, m22n59, m22n58, m22n57, m22n55, m22n54, m22n53, m23n56, m23n57, m24n56, m24n57, m25n56, m25n59, m25n58, m25n57, m25n55, m25n54, m25n53, m25n52, m26n56, m26n57, m26n55, m27n56, m27n57, m28n56, m29n56, m30n56, m30n55, m31n56, m31n58, m31n57, m32n56, m32n59, m32n58, m32n57, m32n55, m32n54, m32n53, m33n56, m33n57, m34n56, m34n55, m35n56, m35n58, m35n57, m36n56, m36n57, m36n55, m36n54, m36n53, m36n52, m36n51, m37n56, m37n57, m38n56, m39n56, m40n56, m40n55, m41n56, m41n59, m41n58, m41n57, m42n56, m42n59, m42n58, m42n57, m42n55, m42n54, m42n53, m43n56, m43n57, m44n56, m44n55, m45n56, m45n55, m46n56: Node;

CON0: Resistor[m2n56, m2n55] = 0.001K;

CON1: Resistor[m3n56, m3n58] = 0.03K;

CON2: Resistor[m3n57, m3n56] = 0.001K;

CON3: Resistor[m3n55, m3n54] = 0.001K;

CON4: Resistor[m3n53, m3n52] = 0.001K;

CON5: Resistor[m4n56, m4n57] = 0.03K;

CON6: Resistor[m4n56, m4n55] = 0.03K;

CON7: Resistor[m5n56, m5n57] = 0.03K;

XTR0: ETran[driveInput, m5n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR1: ETran[driveInput, m6n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

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

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

CON8: Resistor[m8n56, m8n55] = 0.03K;

WIR0: Resistor[m8n56, m9n56] = 4.596226e-5K;

WIR1: Stray[m8n56 | aM2�, pM2�];

CON9: Resistor[m10n56, m10n59] = 0.001K;

CON10: Resistor[m10n58, m10n57] = 0.03K;

CON11: Resistor[m10n56, m10n55] = 0.03K;

CON12: Resistor[m10n54, m10n53] = 0.03K;

CON13: Resistor[m11n56, m11n58] = 0.001K;

CON14: Resistor[m11n57, m11n56] = 0.001K;

CON15: Resistor[m12n56, m12n57] = 0.001K;

WIR2: Resistor[m12n56, m13n56] = 6.153488e-5K;

WIR3: Stray[m12n56 | aM2�, pM2�];

CON16: Resistor[m14n56, m14n55] = 0.001K;

CON17: Resistor[m15n56, m15n58] = 0.03K;

CON18: Resistor[m15n57, m15n56] = 0.001K;

CON19: Resistor[m15n55, m15n54] = 0.001K;

CON20: Resistor[m15n53, m15n52] = 0.001K;

CON21: Resistor[m16n56, m16n57] = 0.03K;

CON22: Resistor[m16n56, m16n55] = 0.03K;

CON23: Resistor[m17n56, m17n57] = 0.03K;

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

XTR5: ETran[driveInput, m18n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR6: ETran[driveInput, m18n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR7: ETran[driveInput, m19n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

CON24: Resistor[m20n56, m20n55] = 0.03K;

CON25: Resistor[m21n56, m21n58] = 0.03K;

CON26: Resistor[m21n57, m21n56] = 0.03K;

CON27: Resistor[m22n56, m22n59] = 0.001K;

CON28: Resistor[m22n58, m22n57] = 0.001K;

CON29: Resistor[m22n56, m22n55] = 0.001K;

CON30: Resistor[m22n54, m22n53] = 0.03K;

CON31: Resistor[m23n56, m23n57] = 0.001K;

CON32: Resistor[m24n56, m24n57] = 0.001K;

CON33: Resistor[m25n56, m25n59] = 0.001K;

CON34: Resistor[m25n58, m25n57] = 0.001K;

CON35: Resistor[m25n56, m25n55] = 0.03K;

CON36: Resistor[m25n54, m25n53] = 0.001K;

WIR4: Resistor[m25n53, m25n52] = 9.113208e-5K;

WIR5: Stray[m25n53 | aM2�, pM2�];

CON37: Resistor[m26n56, m26n57] = 0.03K;

CON38: Resistor[m26n56, m26n55] = 0.03K;

CON39: Resistor[m27n56, m27n57] = 0.03K;

XTR8: ETran[driveInput, m27n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR9: ETran[driveInput, m28n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR10: ETran[driveInput, m28n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR11: ETran[driveInput, m29n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

CON40: Resistor[m30n56, m30n55] = 0.03K;

CON41: Resistor[m31n56, m31n58] = 0.03K;

CON42: Resistor[m31n57, m31n56] = 0.03K;

CON43: Resistor[m32n56, m32n59] = 0.001K;

CON44: Resistor[m32n58, m32n57] = 0.001K;

CON45: Resistor[m32n56, m32n55] = 0.001K;

CON46: Resistor[m32n54, m32n53] = 0.03K;

CON47: Resistor[m33n56, m33n57] = 0.001K;

CON48: Resistor[m34n56, m34n55] = 0.001K;

CON49: Resistor[m35n56, m35n58] = 0.001K;

CON50: Resistor[m35n57, m35n56] = 0.001K;

CON51: Resistor[m36n56, m36n57] = 0.03K;

CON52: Resistor[m36n56, m36n55] = 0.03K;

CON53: Resistor[m36n54, m36n53] = 0.03K;

CON54: Resistor[m36n52, m36n51] = 0.001K;

CON55: Resistor[m37n56, m37n57] = 0.03K;

XTR12: ETran[driveInput, m37n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR13: ETran[driveInput, m38n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR14: ETran[driveInput, m38n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

XTR15: ETran[driveInput, m39n56, Gnd | L𡤂, W𡤄, sdExtend𡤆];

CON56: Resistor[m40n56, m40n55] = 0.03K;

CON57: Resistor[m41n56, m41n59] = 0.03K;

WIR6: Resistor[m41n59, m41n58] = 1.164906e-4K;

WIR7: Stray[m41n59 | aM2�, pM2�];

CON58: Resistor[m41n57, m41n56] = 0.03K;

CON59: Resistor[m42n56, m42n59] = 0.001K;

CON60: Resistor[m42n58, m42n57] = 0.001K;

CON61: Resistor[m42n56, m42n55] = 0.001K;

CON62: Resistor[m42n54, m42n53] = 0.03K;

CON63: Resistor[m43n56, m43n57] = 0.001K;

CON64: Resistor[m44n56, m44n55] = 0.001K;

CON65: Resistor[m45n56, m45n55] = 0.001K;

WIR8: Resistor[m45n56, m46n56] = 6.736364e-5K;

WIR9: Stray[m45n56 | aM�, pM�];

driver: BusDriver[driveInput, Vdd, m1n1];

driveSignal: Step[driveInput | OnLevel𡤀V, OffLevel𡤅V, tRise𡤁ns, tDelay𡤂ns];

};