projects
/
ieee754fpu.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c9caca5
)
trying different testing for 2nd round
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sat, 23 Feb 2019 12:57:26 +0000
(12:57 +0000)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sat, 23 Feb 2019 12:57:26 +0000
(12:57 +0000)
src/add/test_dual.py
patch
|
blob
|
history
diff --git
a/src/add/test_dual.py
b/src/add/test_dual.py
index 410aba911350313c528eb59e49f23745b956b61b..55facb12653425b7a609b7348b82a22a740f5c45 100644
(file)
--- a/
src/add/test_dual.py
+++ b/
src/add/test_dual.py
@@
-33,10
+33,11
@@
def get_case(dut, a, b, c):
out_z = yield dut.z.v
+ yield dut.z.ack.eq(1)
yield dut.a.stb.eq(0)
yield dut.b.stb.eq(0)
yield dut.c.stb.eq(0)
- yield
dut.z.ack.eq(1)
+ yield
yield
yield dut.z.ack.eq(0)
yield
@@
-47,7
+48,7
@@
def get_case(dut, a, b, c):
def check_case(dut, a, b, c, z):
out_z = yield from get_case(dut, a, b, c)
- assert out_z == z, "Output z 0x%x
not equal to expected
0x%x" % (out_z, z)
+ assert out_z == z, "Output z 0x%x
!=
0x%x" % (out_z, z)
def testbench(dut):
yield from check_case(dut, 0, 0, 0, 0)