-- 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];
};