X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Fadd%2Ftest_dual.py;h=15f5c762df9a2e78ede74c8725c3806a022cc2ef;hb=6bff1a997f3846872cf489c24b5c01426c4dc97c;hp=8e3a9d84753ef73039a7b02e424de413294dc668;hpb=50dbc469179f0d8bf310f2cf180b17be0ea1c650;p=ieee754fpu.git diff --git a/src/add/test_dual.py b/src/add/test_dual.py index 8e3a9d84..15f5c762 100644 --- a/src/add/test_dual.py +++ b/src/add/test_dual.py @@ -11,6 +11,8 @@ def get_case(dut, a, b, c): a_ack = (yield dut.a.ack) assert a_ack == 0 + yield dut.a.stb.eq(0) + yield dut.b.v.eq(b) yield dut.b.stb.eq(1) yield @@ -18,12 +20,7 @@ def get_case(dut, a, b, c): b_ack = (yield dut.b.ack) assert b_ack == 0 - while True: - out_z_stb = (yield dut.int_stb) - if not out_z_stb: - yield - continue - break + yield dut.b.stb.eq(0) yield dut.c.v.eq(c) yield dut.c.stb.eq(1) @@ -32,29 +29,19 @@ def get_case(dut, a, b, c): c_ack = (yield dut.c.ack) assert c_ack == 0 + yield dut.c.stb.eq(0) + + yield dut.z.ack.eq(1) + while True: - yield out_z_stb = (yield dut.z.stb) if not out_z_stb: + yield continue out_z = yield dut.z.v yield dut.z.ack.eq(0) - yield dut.a.stb.eq(0) - yield dut.b.stb.eq(0) - yield dut.c.stb.eq(0) - yield - yield - yield - yield - yield - yield - yield dut.z.ack.eq(1) - yield - yield - yield - yield break return out_z