def test_integrity(self):
sys = py4hw.HWSystem()
a = sys.wire("a", 2)
r = sys.wire("r", 1)
py4hw.Constant(sys, "a", 0, a)
py4hw.EqualConstant(sys, 'equal', a, 0, r)
py4hw.debug.checkIntegrity(sys)
def test_notEqual(self):
sys = py4hw.HWSystem()
a = sys.wire("a", 2)
r = sys.wire("r", 1)
py4hw.Constant(sys, "a", 3, a)
py4hw.EqualConstant(sys, 'equal', a, 0, r)
sys.getSimulator().clk(1)
assert (r.get() == 0)
def test_oneBitWire(self):
print('check values = 1')
sys = py4hw.HWSystem()
a = sys.wire("a", 1)
r = sys.wire("1", 1)
py4hw.Sequence(sys, "a", [0, 1], a)
py4hw.EqualConstant(sys, 'equal', a, 1, r)
for i in range(8):
sys.getSimulator().clk(1)
v = a.get()
exp = 1 if (v == 1) else 0
print(v, exp, r.get())
assert (r.get() == exp)
def test_equal5(self):
print('check values = 5')
sys = py4hw.HWSystem()
a = sys.wire("a", 3)
r = sys.wire("1", 1)
py4hw.Sequence(sys, "a", [0, 1, 2, 3, 4, 5, 6, 7], a)
py4hw.EqualConstant(sys, 'equal', a, 5, r)
for i in range(8):
sys.getSimulator().clk(1)
v = a.get()
rv = r.get()
exp = 1 if (v == 5) else 0
print(v, exp, rv)
assert (rv == exp)