-- JasmineTestCell.thy
CIRCUIT[Lambda ← 1, TDegC ← 25] = {
Vdd: Node;
! /DATools/DATools6.0/Thyme/SignalGenerators
! /DATools/DATools6.0/Thyme/BSIM
powerSupply: voltage[Vdd, Gnd] = 5.0;
BigSig, Node0, Node1: Node;
Inst0: ETran[BigSig, Node0, BigSig | L ← 2, W ← 4, sdExtend ← 6];
Inst1: ETran[BigSig, Node1, Node0 | L ← 2, W ← 4, sdExtend ← 6];
Inst2: ETran[BigSig, Node0, Node1 | L ← 2, W ← 4, sdExtend ← 6];
};