-- SimTtable.mesa -- last edited by Suzuki: May 14, 1981 4:11 PM DIRECTORY SimTsim; SimTTable: PROGRAM EXPORTS SimTsim = { OPEN SimTsim; --#einclude "tsim.h" -- table of transistor markings for tsim -- automatically generated by gentable.c transTbl: PUBLIC ARRAY GateState OF ARRAY Potential OF ARRAY Potential OF Potential _ [ [[INIT, -- gate: unknown, source: initial, drain: initial DX, -- gate: unknown, source: initial, drain: driven unknown DXHIGH, -- gate: unknown, source: initial, drain: driven high DXLOW, -- gate: unknown, source: initial, drain: driven low CX, -- gate: unknown, source: initial, drain: charged unknown CX, -- gate: unknown, source: initial, drain: charged high CX, -- gate: unknown, source: initial, drain: charged low DXHIGH, -- gate: unknown, source: initial, drain: pulled up DXLOW, -- gate: unknown, source: initial, drain: unknown-low DXHIGH, -- gate: unknown, source: initial, drain: unknown-high CX], -- gate: unknown, source: initial, drain: shared charge [DX, -- gate: unknown, source: driven unknown, drain: initial DX, -- gate: unknown, source: driven unknown, drain: driven unknown DX, -- gate: unknown, source: driven unknown, drain: driven high DX, -- gate: unknown, source: driven unknown, drain: driven low DX, -- gate: unknown, source: driven unknown, drain: charged unknown DX, -- gate: unknown, source: driven unknown, drain: charged high DX, -- gate: unknown, source: driven unknown, drain: charged low DX, -- gate: unknown, source: driven unknown, drain: pulled up DX, -- gate: unknown, source: driven unknown, drain: unknown-low DX, -- gate: unknown, source: driven unknown, drain: unknown-high DX], -- gate: unknown, source: driven unknown, drain: shared charge [DHIGH, -- gate: unknown, source: driven high, drain: initial DX, -- gate: unknown, source: driven high, drain: driven unknown DHIGH, -- gate: unknown, source: driven high, drain: driven high DX, -- gate: unknown, source: driven high, drain: driven low DHIGH, -- gate: unknown, source: driven high, drain: charged unknown DHIGH, -- gate: unknown, source: driven high, drain: charged high DHIGH, -- gate: unknown, source: driven high, drain: charged low DHIGH, -- gate: unknown, source: driven high, drain: pulled up DX, -- gate: unknown, source: driven high, drain: unknown-low DHIGH, -- gate: unknown, source: driven high, drain: unknown-high DHIGH], -- gate: unknown, source: driven high, drain: shared charge [DLOW, -- gate: unknown, source: driven low, drain: initial DX, -- gate: unknown, source: driven low, drain: driven unknown DX, -- gate: unknown, source: driven low, drain: driven high DLOW, -- gate: unknown, source: driven low, drain: driven low DLOW, -- gate: unknown, source: driven low, drain: charged unknown DLOW, -- gate: unknown, source: driven low, drain: charged high DLOW, -- gate: unknown, source: driven low, drain: charged low DLOW, -- gate: unknown, source: driven low, drain: pulled up DLOW, -- gate: unknown, source: driven low, drain: unknown-low DX, -- gate: unknown, source: driven low, drain: unknown-high DLOW], -- gate: unknown, source: driven low, drain: shared charge [CX, -- gate: unknown, source: charged unknown, drain: initial DX, -- gate: unknown, source: charged unknown, drain: driven unknown DXHIGH, -- gate: unknown, source: charged unknown, drain: driven high DXLOW, -- gate: unknown, source: charged unknown, drain: driven low CX, -- gate: unknown, source: charged unknown, drain: charged unknown CX, -- gate: unknown, source: charged unknown, drain: charged high CX, -- gate: unknown, source: charged unknown, drain: charged low DXHIGH, -- gate: unknown, source: charged unknown, drain: pulled up DXLOW, -- gate: unknown, source: charged unknown, drain: unknown-low DXHIGH, -- gate: unknown, source: charged unknown, drain: unknown-high CX], -- gate: unknown, source: charged unknown, drain: shared charge [CX, -- gate: unknown, source: charged high, drain: initial DX, -- gate: unknown, source: charged high, drain: driven unknown DXHIGH, -- gate: unknown, source: charged high, drain: driven high DXLOW, -- gate: unknown, source: charged high, drain: driven low CX, -- gate: unknown, source: charged high, drain: charged unknown CHIGH, -- gate: unknown, source: charged high, drain: charged high CX, -- gate: unknown, source: charged high, drain: charged low DXHIGH, -- gate: unknown, source: charged high, drain: pulled up DXLOW, -- gate: unknown, source: charged high, drain: unknown-low DXHIGH, -- gate: unknown, source: charged high, drain: unknown-high CX], -- gate: unknown, source: charged high, drain: shared charge [CX, -- gate: unknown, source: charged low, drain: initial DX, -- gate: unknown, source: charged low, drain: driven unknown DXHIGH, -- gate: unknown, source: charged low, drain: driven high DXLOW, -- gate: unknown, source: charged low, drain: driven low CX, -- gate: unknown, source: charged low, drain: charged unknown CX, -- gate: unknown, source: charged low, drain: charged high CLOW, -- gate: unknown, source: charged low, drain: charged low DXHIGH, -- gate: unknown, source: charged low, drain: pulled up DXLOW, -- gate: unknown, source: charged low, drain: unknown-low DXHIGH, -- gate: unknown, source: charged low, drain: unknown-high CX], -- gate: unknown, source: charged low, drain: shared charge [P, -- gate: unknown, source: pulled up, drain: initial DX, -- gate: unknown, source: pulled up, drain: driven unknown P, -- gate: unknown, source: pulled up, drain: driven high DXLOW, -- gate: unknown, source: pulled up, drain: driven low P, -- gate: unknown, source: pulled up, drain: charged unknown P, -- gate: unknown, source: pulled up, drain: charged high P, -- gate: unknown, source: pulled up, drain: charged low P, -- gate: unknown, source: pulled up, drain: pulled up DXLOW, -- gate: unknown, source: pulled up, drain: unknown-low P, -- gate: unknown, source: pulled up, drain: unknown-high P], -- gate: unknown, source: pulled up, drain: shared charge [DXLOW, -- gate: unknown, source: unknown-low, drain: initial DX, -- gate: unknown, source: unknown-low, drain: driven unknown DX, -- gate: unknown, source: unknown-low, drain: driven high DXLOW, -- gate: unknown, source: unknown-low, drain: driven low DXLOW, -- gate: unknown, source: unknown-low, drain: charged unknown DXLOW, -- gate: unknown, source: unknown-low, drain: charged high DXLOW, -- gate: unknown, source: unknown-low, drain: charged low DX, -- gate: unknown, source: unknown-low, drain: pulled up DXLOW, -- gate: unknown, source: unknown-low, drain: unknown-low DX, -- gate: unknown, source: unknown-low, drain: unknown-high DXLOW], -- gate: unknown, source: unknown-low, drain: shared charge [DXHIGH, -- gate: unknown, source: unknown-high, drain: initial DX, -- gate: unknown, source: unknown-high, drain: driven unknown DXHIGH, -- gate: unknown, source: unknown-high, drain: driven high DX, -- gate: unknown, source: unknown-high, drain: driven low DXHIGH, -- gate: unknown, source: unknown-high, drain: charged unknown DXHIGH, -- gate: unknown, source: unknown-high, drain: charged high DXHIGH, -- gate: unknown, source: unknown-high, drain: charged low DXHIGH, -- gate: unknown, source: unknown-high, drain: pulled up DX, -- gate: unknown, source: unknown-high, drain: unknown-low DXHIGH, -- gate: unknown, source: unknown-high, drain: unknown-high DXHIGH], -- gate: unknown, source: unknown-high, drain: shared charge [CX, -- gate: unknown, source: shared charge, drain: initial DX, -- gate: unknown, source: shared charge, drain: driven unknown DXHIGH, -- gate: unknown, source: shared charge, drain: driven high DXLOW, -- gate: unknown, source: shared charge, drain: driven low CX, -- gate: unknown, source: shared charge, drain: charged unknown CX, -- gate: unknown, source: shared charge, drain: charged high CX, -- gate: unknown, source: shared charge, drain: charged low DXHIGH, -- gate: unknown, source: shared charge, drain: pulled up DXLOW, -- gate: unknown, source: shared charge, drain: unknown-low DXHIGH, -- gate: unknown, source: shared charge, drain: unknown-high CSHARE]], -- gate: unknown, source: shared charge, drain: shared charge [[INIT, -- gate: high, source: initial, drain: initial DX, -- gate: high, source: initial, drain: driven unknown DHIGH, -- gate: high, source: initial, drain: driven high DLOW, -- gate: high, source: initial, drain: driven low CX, -- gate: high, source: initial, drain: charged unknown CHIGH, -- gate: high, source: initial, drain: charged high CLOW, -- gate: high, source: initial, drain: charged low P, -- gate: high, source: initial, drain: pulled up DXLOW, -- gate: high, source: initial, drain: unknown-low DXHIGH, -- gate: high, source: initial, drain: unknown-high CSHARE], -- gate: high, source: initial, drain: shared charge [DX, -- gate: high, source: driven unknown, drain: initial DX, -- gate: high, source: driven unknown, drain: driven unknown DX, -- gate: high, source: driven unknown, drain: driven high DX, -- gate: high, source: driven unknown, drain: driven low DX, -- gate: high, source: driven unknown, drain: charged unknown DX, -- gate: high, source: driven unknown, drain: charged high DX, -- gate: high, source: driven unknown, drain: charged low DX, -- gate: high, source: driven unknown, drain: pulled up DX, -- gate: high, source: driven unknown, drain: unknown-low DX, -- gate: high, source: driven unknown, drain: unknown-high DX], -- gate: high, source: driven unknown, drain: shared charge [DHIGH, -- gate: high, source: driven high, drain: initial DX, -- gate: high, source: driven high, drain: driven unknown DHIGH, -- gate: high, source: driven high, drain: driven high DX, -- gate: high, source: driven high, drain: driven low DHIGH, -- gate: high, source: driven high, drain: charged unknown DHIGH, -- gate: high, source: driven high, drain: charged high DHIGH, -- gate: high, source: driven high, drain: charged low DHIGH, -- gate: high, source: driven high, drain: pulled up DX, -- gate: high, source: driven high, drain: unknown-low DHIGH, -- gate: high, source: driven high, drain: unknown-high DHIGH], -- gate: high, source: driven high, drain: shared charge [DLOW, -- gate: high, source: driven low, drain: initial DX, -- gate: high, source: driven low, drain: driven unknown DX, -- gate: high, source: driven low, drain: driven high DLOW, -- gate: high, source: driven low, drain: driven low DLOW, -- gate: high, source: driven low, drain: charged unknown DLOW, -- gate: high, source: driven low, drain: charged high DLOW, -- gate: high, source: driven low, drain: charged low DLOW, -- gate: high, source: driven low, drain: pulled up DLOW, -- gate: high, source: driven low, drain: unknown-low DX, -- gate: high, source: driven low, drain: unknown-high DLOW], -- gate: high, source: driven low, drain: shared charge [CX, -- gate: high, source: charged unknown, drain: initial DX, -- gate: high, source: charged unknown, drain: driven unknown DHIGH, -- gate: high, source: charged unknown, drain: driven high DLOW, -- gate: high, source: charged unknown, drain: driven low CX, -- gate: high, source: charged unknown, drain: charged unknown CSHARE, -- gate: high, source: charged unknown, drain: charged high CSHARE, -- gate: high, source: charged unknown, drain: charged low P, -- gate: high, source: charged unknown, drain: pulled up DXLOW, -- gate: high, source: charged unknown, drain: unknown-low DXHIGH, -- gate: high, source: charged unknown, drain: unknown-high CSHARE], -- gate: high, source: charged unknown, drain: shared charge [CHIGH, -- gate: high, source: charged high, drain: initial DX, -- gate: high, source: charged high, drain: driven unknown DHIGH, -- gate: high, source: charged high, drain: driven high DLOW, -- gate: high, source: charged high, drain: driven low CSHARE, -- gate: high, source: charged high, drain: charged unknown CHIGH, -- gate: high, source: charged high, drain: charged high CSHARE, -- gate: high, source: charged high, drain: charged low P, -- gate: high, source: charged high, drain: pulled up DXLOW, -- gate: high, source: charged high, drain: unknown-low DXHIGH, -- gate: high, source: charged high, drain: unknown-high CSHARE], -- gate: high, source: charged high, drain: shared charge [CLOW, -- gate: high, source: charged low, drain: initial DX, -- gate: high, source: charged low, drain: driven unknown DHIGH, -- gate: high, source: charged low, drain: driven high DLOW, -- gate: high, source: charged low, drain: driven low CSHARE, -- gate: high, source: charged low, drain: charged unknown CSHARE, -- gate: high, source: charged low, drain: charged high CLOW, -- gate: high, source: charged low, drain: charged low P, -- gate: high, source: charged low, drain: pulled up DXLOW, -- gate: high, source: charged low, drain: unknown-low DXHIGH, -- gate: high, source: charged low, drain: unknown-high CSHARE], -- gate: high, source: charged low, drain: shared charge [P, -- gate: high, source: pulled up, drain: initial DX, -- gate: high, source: pulled up, drain: driven unknown DHIGH, -- gate: high, source: pulled up, drain: driven high DLOW, -- gate: high, source: pulled up, drain: driven low P, -- gate: high, source: pulled up, drain: charged unknown P, -- gate: high, source: pulled up, drain: charged high P, -- gate: high, source: pulled up, drain: charged low P, -- gate: high, source: pulled up, drain: pulled up DXLOW, -- gate: high, source: pulled up, drain: unknown-low DXHIGH, -- gate: high, source: pulled up, drain: unknown-high P], -- gate: high, source: pulled up, drain: shared charge [DXLOW, -- gate: high, source: unknown-low, drain: initial DX, -- gate: high, source: unknown-low, drain: driven unknown DX, -- gate: high, source: unknown-low, drain: driven high DLOW, -- gate: high, source: unknown-low, drain: driven low DXLOW, -- gate: high, source: unknown-low, drain: charged unknown DXLOW, -- gate: high, source: unknown-low, drain: charged high DXLOW, -- gate: high, source: unknown-low, drain: charged low DXLOW, -- gate: high, source: unknown-low, drain: pulled up DXLOW, -- gate: high, source: unknown-low, drain: unknown-low DX, -- gate: high, source: unknown-low, drain: unknown-high DXLOW], -- gate: high, source: unknown-low, drain: shared charge [DXHIGH, -- gate: high, source: unknown-high, drain: initial DX, -- gate: high, source: unknown-high, drain: driven unknown DHIGH, -- gate: high, source: unknown-high, drain: driven high DX, -- gate: high, source: unknown-high, drain: driven low DXHIGH, -- gate: high, source: unknown-high, drain: charged unknown DXHIGH, -- gate: high, source: unknown-high, drain: charged high DXHIGH, -- gate: high, source: unknown-high, drain: charged low DXHIGH, -- gate: high, source: unknown-high, drain: pulled up DX, -- gate: high, source: unknown-high, drain: unknown-low DXHIGH, -- gate: high, source: unknown-high, drain: unknown-high DXHIGH], -- gate: high, source: unknown-high, drain: shared charge [CSHARE, -- gate: high, source: shared charge, drain: initial DX, -- gate: high, source: shared charge, drain: driven unknown DHIGH, -- gate: high, source: shared charge, drain: driven high DLOW, -- gate: high, source: shared charge, drain: driven low CSHARE, -- gate: high, source: shared charge, drain: charged unknown CSHARE, -- gate: high, source: shared charge, drain: charged high CSHARE, -- gate: high, source: shared charge, drain: charged low P, -- gate: high, source: shared charge, drain: pulled up DXLOW, -- gate: high, source: shared charge, drain: unknown-low DXHIGH, -- gate: high, source: shared charge, drain: unknown-high CSHARE]], -- gate: high, source: shared charge, drain: shared charge [[INIT, -- gate: low, source: initial, drain: initial INIT, -- gate: low, source: initial, drain: driven unknown INIT, -- gate: low, source: initial, drain: driven high INIT, -- gate: low, source: initial, drain: driven low INIT, -- gate: low, source: initial, drain: charged unknown INIT, -- gate: low, source: initial, drain: charged high INIT, -- gate: low, source: initial, drain: charged low INIT, -- gate: low, source: initial, drain: pulled up INIT, -- gate: low, source: initial, drain: unknown-low INIT, -- gate: low, source: initial, drain: unknown-high INIT], -- gate: low, source: initial, drain: shared charge [DX, -- gate: low, source: driven unknown, drain: initial DX, -- gate: low, source: driven unknown, drain: driven unknown DX, -- gate: low, source: driven unknown, drain: driven high DX, -- gate: low, source: driven unknown, drain: driven low DX, -- gate: low, source: driven unknown, drain: charged unknown DX, -- gate: low, source: driven unknown, drain: charged high DX, -- gate: low, source: driven unknown, drain: charged low DX, -- gate: low, source: driven unknown, drain: pulled up DX, -- gate: low, source: driven unknown, drain: unknown-low DX, -- gate: low, source: driven unknown, drain: unknown-high DX], -- gate: low, source: driven unknown, drain: shared charge [DHIGH, -- gate: low, source: driven high, drain: initial DHIGH, -- gate: low, source: driven high, drain: driven unknown DHIGH, -- gate: low, source: driven high, drain: driven high DHIGH, -- gate: low, source: driven high, drain: driven low DHIGH, -- gate: low, source: driven high, drain: charged unknown DHIGH, -- gate: low, source: driven high, drain: charged high DHIGH, -- gate: low, source: driven high, drain: charged low DHIGH, -- gate: low, source: driven high, drain: pulled up DHIGH, -- gate: low, source: driven high, drain: unknown-low DHIGH, -- gate: low, source: driven high, drain: unknown-high DHIGH], -- gate: low, source: driven high, drain: shared charge [DLOW, -- gate: low, source: driven low, drain: initial DLOW, -- gate: low, source: driven low, drain: driven unknown DLOW, -- gate: low, source: driven low, drain: driven high DLOW, -- gate: low, source: driven low, drain: driven low DLOW, -- gate: low, source: driven low, drain: charged unknown DLOW, -- gate: low, source: driven low, drain: charged high DLOW, -- gate: low, source: driven low, drain: charged low DLOW, -- gate: low, source: driven low, drain: pulled up DLOW, -- gate: low, source: driven low, drain: unknown-low DLOW, -- gate: low, source: driven low, drain: unknown-high DLOW], -- gate: low, source: driven low, drain: shared charge [CX, -- gate: low, source: charged unknown, drain: initial CX, -- gate: low, source: charged unknown, drain: driven unknown CX, -- gate: low, source: charged unknown, drain: driven high CX, -- gate: low, source: charged unknown, drain: driven low CX, -- gate: low, source: charged unknown, drain: charged unknown CX, -- gate: low, source: charged unknown, drain: charged high CX, -- gate: low, source: charged unknown, drain: charged low CX, -- gate: low, source: charged unknown, drain: pulled up CX, -- gate: low, source: charged unknown, drain: unknown-low CX, -- gate: low, source: charged unknown, drain: unknown-high CX], -- gate: low, source: charged unknown, drain: shared charge [CHIGH, -- gate: low, source: charged high, drain: initial CHIGH, -- gate: low, source: charged high, drain: driven unknown CHIGH, -- gate: low, source: charged high, drain: driven high CHIGH, -- gate: low, source: charged high, drain: driven low CHIGH, -- gate: low, source: charged high, drain: charged unknown CHIGH, -- gate: low, source: charged high, drain: charged high CHIGH, -- gate: low, source: charged high, drain: charged low CHIGH, -- gate: low, source: charged high, drain: pulled up CHIGH, -- gate: low, source: charged high, drain: unknown-low CHIGH, -- gate: low, source: charged high, drain: unknown-high CHIGH], -- gate: low, source: charged high, drain: shared charge [CLOW, -- gate: low, source: charged low, drain: initial CLOW, -- gate: low, source: charged low, drain: driven unknown CLOW, -- gate: low, source: charged low, drain: driven high CLOW, -- gate: low, source: charged low, drain: driven low CLOW, -- gate: low, source: charged low, drain: charged unknown CLOW, -- gate: low, source: charged low, drain: charged high CLOW, -- gate: low, source: charged low, drain: charged low CLOW, -- gate: low, source: charged low, drain: pulled up CLOW, -- gate: low, source: charged low, drain: unknown-low CLOW, -- gate: low, source: charged low, drain: unknown-high CLOW], -- gate: low, source: charged low, drain: shared charge [P, -- gate: low, source: pulled up, drain: initial P, -- gate: low, source: pulled up, drain: driven unknown P, -- gate: low, source: pulled up, drain: driven high P, -- gate: low, source: pulled up, drain: driven low P, -- gate: low, source: pulled up, drain: charged unknown P, -- gate: low, source: pulled up, drain: charged high P, -- gate: low, source: pulled up, drain: charged low P, -- gate: low, source: pulled up, drain: pulled up P, -- gate: low, source: pulled up, drain: unknown-low P, -- gate: low, source: pulled up, drain: unknown-high P], -- gate: low, source: pulled up, drain: shared charge [DXLOW, -- gate: low, source: unknown-low, drain: initial DXLOW, -- gate: low, source: unknown-low, drain: driven unknown DXLOW, -- gate: low, source: unknown-low, drain: driven high DXLOW, -- gate: low, source: unknown-low, drain: driven low DXLOW, -- gate: low, source: unknown-low, drain: charged unknown DXLOW, -- gate: low, source: unknown-low, drain: charged high DXLOW, -- gate: low, source: unknown-low, drain: charged low DXLOW, -- gate: low, source: unknown-low, drain: pulled up DXLOW, -- gate: low, source: unknown-low, drain: unknown-low DXLOW, -- gate: low, source: unknown-low, drain: unknown-high DXLOW], -- gate: low, source: unknown-low, drain: shared charge [DXHIGH, -- gate: low, source: unknown-high, drain: initial DXHIGH, -- gate: low, source: unknown-high, drain: driven unknown DXHIGH, -- gate: low, source: unknown-high, drain: driven high DXHIGH, -- gate: low, source: unknown-high, drain: driven low DXHIGH, -- gate: low, source: unknown-high, drain: charged unknown DXHIGH, -- gate: low, source: unknown-high, drain: charged high DXHIGH, -- gate: low, source: unknown-high, drain: charged low DXHIGH, -- gate: low, source: unknown-high, drain: pulled up DXHIGH, -- gate: low, source: unknown-high, drain: unknown-low DXHIGH, -- gate: low, source: unknown-high, drain: unknown-high DXHIGH], -- gate: low, source: unknown-high, drain: shared charge [CSHARE, -- gate: low, source: shared charge, drain: initial CSHARE, -- gate: low, source: shared charge, drain: driven unknown CSHARE, -- gate: low, source: shared charge, drain: driven high CSHARE, -- gate: low, source: shared charge, drain: driven low CSHARE, -- gate: low, source: shared charge, drain: charged unknown CSHARE, -- gate: low, source: shared charge, drain: charged high CSHARE, -- gate: low, source: shared charge, drain: charged low CSHARE, -- gate: low, source: shared charge, drain: pulled up CSHARE, -- gate: low, source: shared charge, drain: unknown-low CSHARE, -- gate: low, source: shared charge, drain: unknown-high CSHARE]] -- gate: low, source: shared charge, drain: shared charge ]; }.