Bit Line
Word, nPrecharge, State, nState, Bit, nBit, VGnd, Sense: node;
VGndSupply: voltage[VGnd, Gnd] = 0.0;
QP1: CTran[State, Vdd, nState | W ← 3, L ← 5];
QP2: CTran[nState, Vdd, State | W ← 3, L ← 5];
Q1: ETran[Word, Bit, State | W ← 4];
Q2: ETran[State, nState, VGnd | W ← 7];
Q3: ETran[nState, State, VGnd | W ← 7];
Q4: ETran[Word, nBit, nState | W ← 4];
Q5: CTran[nPrecharge, Bit, Vdd | W ← 8];
Q6: CTran[nPrecharge, nBit, Vdd | W ← 8];
Q7: CTran[nBit, Vdd, Sense | W ← 8];
Q8: ETran[nBit, Sense, Gnd | W ← 4];
C1: capacitor[Bit, Gnd] = 2.44pF;
C2: capacitor[nBit, Gnd] = 2.44pF;
C3: capacitor[Sense, Gnd] = 0.1pF;
?: RectWave[Word | period ← 100ns, width ← 50ns, tRise ← 10ns, tFall ← 10ns, tDelay ← 50ns];
?: RectWave[nPrecharge | OnLevel ← 0V, OffLevel ← 5V, period ← 100ns, width ← 50ns, tRise ← 10ns, tFall ← 10ns];