public void Write_HighPosEdge_High()
{
var uut = new NandGate();
var input1 = uut.AddInput().CreateConnection();
var input2 = uut.AddInput().CreateConnection();
var output = uut.Output.CreateConnection();
input1.Write(DigitalLevel.High);
input2.Write(DigitalLevel.PosEdge);
uut.Output.Level.Should().Be(DigitalLevel.High);
}
public void Write_HighHighHighHigh_Low()
{
var uut = new NandGate();
var input1 = uut.AddInput().CreateConnection();
var input2 = uut.AddInput().CreateConnection();
var input3 = uut.AddInput().CreateConnection();
var input4 = uut.AddInput().CreateConnection();
var output = uut.Output.CreateConnection();
input1.Write(DigitalLevel.High);
input2.Write(DigitalLevel.High);
input3.Write(DigitalLevel.High);
input4.Write(DigitalLevel.High);
uut.Output.Level.Should().Be(DigitalLevel.Low);
}
