SpiceExample.thy
Copyright © 1986 by Xerox Corporation. All rights reserved.
Created by Neil Gunther, July 25, 1986 4:55:44 pm PDT
Last Edited by: Neil Gunther July 25, 1986 5:41:48 pm PDT
CIRCUIT[Lambda ← 1, TDegC ← 25] = {
Vdd: Node;
! /DATools/DATools6.1/Thyme/SignalGenerators.thy
! /DATools/DATools6.1/Thyme/BSim.thy
powerSupply: voltage[Vdd, Gnd] = 5.0;
in, out, ns: Node;
QP1: CTran[in, Vdd, out| L ← 4, W ← 8000, sdExtend ← 5];
QN1: ETran[in, out, ns| L ← 4, W ← 8000, sdExtend ← 5];
Resistor values: 1, 4, 32 Ohm
R1: Resistor[ns, Gnd] = 32; --Ohm
signal: Step[in | OnLevel ← 5V, OffLevel ← 0V, tRise ← 10ns, tDelay ← 10ns];
};
PLOT["Spice Example", :1ns, -1, 6, in, out, ns];
RUN[tMin ← 0ns, tMax ← 30ns];