From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 13 Mar 2019 04:24:50 +0000 (+0000)
Subject: add in some assertions to check pipe output
X-Git-Tag: ls180-24jan2020~1680
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b32f06d6ed5f6639b929d21453c09dee1296db96;p=ieee754fpu.git

add in some assertions to check pipe output
---

diff --git a/src/add/test_buf_pipe.py b/src/add/test_buf_pipe.py
index c46685ac..66f0b4cc 100644
--- a/src/add/test_buf_pipe.py
+++ b/src/add/test_buf_pipe.py
@@ -42,6 +42,10 @@
 from nmigen.compat.sim import run_simulation
 from example_buf_pipe import BufPipe
 
+def check_o_n_stb(dut, val):
+    o_n_stb = yield dut.o_n_stb
+    assert o_n_stb == val
+
 
 def testbench(dut):
     #yield dut.i_p_rst.eq(1)
@@ -54,8 +58,12 @@ def testbench(dut):
     yield dut.i_data.eq(5)
     yield dut.i_p_stb.eq(1)
     yield
+
     yield dut.i_data.eq(7)
+    yield from check_o_n_stb(dut, 0) # effects of i_p_stb delayed
     yield
+    yield from check_o_n_stb(dut, 1) # ok *now* i_p_stb effect is felt
+
     yield dut.i_data.eq(2)
     yield
     yield dut.i_n_busy.eq(1)
@@ -67,8 +75,11 @@ def testbench(dut):
     yield dut.i_data.eq(32)
     yield dut.i_n_busy.eq(0)
     yield
+    yield from check_o_n_stb(dut, 1) # buffer still needs to output
     yield
+    yield from check_o_n_stb(dut, 1) # buffer still needs to output
     yield
+    yield from check_o_n_stb(dut, 0) # buffer outputted, *now* we're done.
     yield