public void NOR3_Constructor()
{
// arrange, act
var nor3 = new NOR3("test");
// assert
Assert.AreEqual(VoltageSignal.LOW, nor3.V.V, "Constructor: Voltage");
Assert.AreEqual(VoltageSignal.LOW, nor3.A.V, "Constructor: A");
Assert.AreEqual(VoltageSignal.LOW, nor3.B.V, "Constructor: B");
Assert.AreEqual(VoltageSignal.LOW, nor3.C.V, "Constructor: B");
Assert.AreEqual(VoltageSignal.LOW, nor3.O.V, "Constructor: O");
Assert.AreEqual("LOW", nor3.ToString(), "Constructor: ToString()");
}
public void NOR3(VoltageSignal voltage, VoltageSignal a, VoltageSignal b, VoltageSignal c, VoltageSignal expected)
{
// arrage
var nor3 = new NOR3("test");
// act
nor3.V.V = voltage;
nor3.A.V = a;
nor3.B.V = b;
nor3.C.V = c;
// assert
Assert.AreEqual(expected, nor3.O.V, $"V:{nor3.V.V}; A:{nor3.A}; B:{nor3.B}; C:{nor3.C}");
}
public DFlipFlopEdgeWithPresetAndClear(string name)
{
_not = new NOT($"{name}-flop.clk");
_nor3Clr = new NOR3($"{name}-flop.clr");
_nor3Pre = new NOR3($"{name}-flop.pre");
_nor3Clk = new NOR3($"{name}-flop.clk");
_nor3D = new NOR3($"{name}-flop.d");
_nor3Q = new NOR3($"{name}-flop.q");
_nor3Qnot = new NOR3($"{name}-flop.qnot");
V = new ConnectionPoint($"{name}-flop.v");
Clr = new ConnectionPoint($"{name}-flop.clr");
Pre = new ConnectionPoint($"{name}-flop.pre");
DoWireUp();
Components.Record(nameof(DFlipFlopEdgeWithPresetAndClear));
}
public void NOR3_Events_GateOn()
{
// arrange
var nor3 = new NOR3("test");
nor3.V.V = VoltageSignal.HIGH;
bool fired = false;
nor3.O.Changed += _ => fired = true;
// act, assert
nor3.A.V = VoltageSignal.HIGH;
Assert.IsTrue(fired, "Gate on -- A: ^; B: L; C: L; event");
fired = false;
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: -->H; B: L; C: L; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsTrue(fired, "Gate on -- A: v; B: L; C: L; event");
fired = false;
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: -->L; B: L; C: L; no event");
nor3.B.V = VoltageSignal.HIGH;
Assert.IsTrue(fired, "Gate on -- A: L; B: ^; C: L; event");
fired = false;
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: -->H; C: L; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsTrue(fired, "Gate on -- A: L; B: v; C: L; event");
fired = false;
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: -->L; C: L; no event");
nor3.C.V = VoltageSignal.HIGH;
Assert.IsTrue(fired, "Gate on -- A: L; B: L; C: ^; event");
fired = false;
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: L; C: -->H; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsTrue(fired, "Gate on -- A: L; B: L; C: v; event");
fired = false;
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: L; C: -->L; no event");
//
// TEST A
//
// setup
nor3.A.V = VoltageSignal.LOW;
nor3.B.V = VoltageSignal.HIGH;
nor3.C.V = VoltageSignal.LOW;
fired = false;
// test
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: ^; B: H; C: L; no event");
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: -->H; B: H; C: L; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: v; B: H; C: L; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: -->L; B: H; C: L; no event");
// setup
nor3.A.V = VoltageSignal.LOW;
nor3.B.V = VoltageSignal.HIGH;
nor3.C.V = VoltageSignal.HIGH;
fired = false;
// test
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: ^; B: H; C: H; no event");
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: -->H; B: H; C: H; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: v; B: H; C: H; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: -->L; B: H; C: H; no event");
// setup
nor3.A.V = VoltageSignal.LOW;
nor3.B.V = VoltageSignal.LOW;
nor3.C.V = VoltageSignal.HIGH;
fired = false;
// test
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: ^; B: L; C: H; no event");
nor3.A.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: -->H; B: L; C: H; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: v; B: L; C: H; no event");
nor3.A.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: -->L; B: L; C: H; no event");
//
// TEST B
//
// setup
nor3.A.V = VoltageSignal.HIGH;
nor3.B.V = VoltageSignal.LOW;
nor3.C.V = VoltageSignal.LOW;
fired = false;
// test
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: ^; C: L; no event");
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: -->H; C: L; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: v; C: L; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: -->L; C: L; no event");
// setup
nor3.A.V = VoltageSignal.HIGH;
nor3.B.V = VoltageSignal.LOW;
nor3.C.V = VoltageSignal.HIGH;
fired = false;
// test
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: ^; C: H; no event");
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: -->H; C: H; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: v; C: H; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: -->L; C: H; no event");
// setup
nor3.A.V = VoltageSignal.LOW;
nor3.B.V = VoltageSignal.LOW;
nor3.C.V = VoltageSignal.HIGH;
fired = false;
// test
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: ^; C: H; no event");
nor3.B.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: -->H; C: H; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: v; C: H; no event");
nor3.B.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: -->L; C: H; no event");
//
// TEST C
//
// setup
nor3.A.V = VoltageSignal.HIGH;
nor3.B.V = VoltageSignal.HIGH;
nor3.C.V = VoltageSignal.LOW;
fired = false;
// test
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: H; C: ^; no event");
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: H; C: -->H; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: H; C: v; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: H; C: -->L; no event");
// setup
nor3.A.V = VoltageSignal.HIGH;
nor3.B.V = VoltageSignal.LOW;
nor3.C.V = VoltageSignal.LOW;
fired = false;
// test
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: L; C: ^; no event");
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: H; B: L; C: -->H; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: L; C: v; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: H; B: L; C: -->L; no event");
// setup
nor3.A.V = VoltageSignal.LOW;
nor3.B.V = VoltageSignal.HIGH;
nor3.C.V = VoltageSignal.LOW;
fired = false;
// test
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: H; C: ^; no event");
nor3.C.V = VoltageSignal.HIGH;
Assert.IsFalse(fired, "Gate on -- A: L; B: H; C: -->H; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: H; C: v; no event");
nor3.C.V = VoltageSignal.LOW;
Assert.IsFalse(fired, "Gate on -- A: L; B: H; C: -->L; no event");
}
