From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 3 May 2019 06:36:28 +0000 (+0100)
Subject: split out InputTest code into separate fpmux.py
X-Git-Tag: ls180-24jan2020~1045
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5fb1df9409ba4038a1429cec96e67b2daa74368;p=ieee754fpu.git

split out InputTest code into separate fpmux.py
---

diff --git a/src/ieee754/fpcommon/test/fpmux.py b/src/ieee754/fpcommon/test/fpmux.py
new file mode 100644
index 00000000..01832ec4
--- /dev/null
+++ b/src/ieee754/fpcommon/test/fpmux.py
@@ -0,0 +1,128 @@
+""" key strategic example showing how to do multi-input fan-in into a
+    multi-stage pipeline, then multi-output fanout.
+
+    the multiplex ID from the fan-in is passed in to the pipeline, preserved,
+    and used as a routing ID on the fanout.
+"""
+
+from random import randint
+from nmigen.compat.sim import run_simulation
+from nmigen.cli import verilog, rtlil
+
+
+class InputTest:
+    def __init__(self, dut, width, fpkls, fpop):
+        self.dut = dut
+        self.fpkls = fpkls
+        self.fpop = fpop
+        self.di = {}
+        self.do = {}
+        self.tlen = 10
+        self.width = width
+        for mid in range(dut.num_rows):
+            self.di[mid] = {}
+            self.do[mid] = []
+            for i in range(self.tlen):
+                op1 = randint(0, (1<<self.width)-1)
+                op2 = randint(0, (1<<self.width)-1)
+                #op1 = 0x513ba448
+                #op2 = 0xfff5c7fe 
+                #op1 = 0xffcaeefa
+                #op2 = 0x3f803262
+                #op1 = 0xae430313
+                #op2 = 0x901c3214
+                #op1 = 0xa4504d7
+                #op2 = 0xb4658540 # expect 0x8016147c
+                #op1 = 0x40900000
+                #op2 = 0x40200000
+                res = self.fpop(self.fpkls(op1), self.fpkls(op2))
+                self.di[mid][i] = (op1, op2)
+                self.do[mid].append(res.bits)
+
+    def send(self, mid):
+        for i in range(self.tlen):
+            op1, op2 = self.di[mid][i]
+            rs = self.dut.p[mid]
+            yield rs.valid_i.eq(1)
+            yield rs.data_i.a.eq(op1)
+            yield rs.data_i.b.eq(op2)
+            yield rs.data_i.mid.eq(mid)
+            yield
+            o_p_ready = yield rs.ready_o
+            while not o_p_ready:
+                yield
+                o_p_ready = yield rs.ready_o
+
+            fop1 = self.fpkls(op1)
+            fop2 = self.fpkls(op2)
+            res = self.fpop(fop1, fop2)
+            print ("send", mid, i, hex(op1), hex(op2), hex(res.bits),
+                           fop1, fop2, res)
+
+            yield rs.valid_i.eq(0)
+            # wait random period of time before queueing another value
+            for i in range(randint(0, 3)):
+                yield
+
+        yield rs.valid_i.eq(0)
+        yield
+
+        print ("send ended", mid)
+
+        ## wait random period of time before queueing another value
+        #for i in range(randint(0, 3)):
+        #    yield
+
+        #send_range = randint(0, 3)
+        #if send_range == 0:
+        #    send = True
+        #else:
+        #    send = randint(0, send_range) != 0
+
+    def rcv(self, mid):
+        while True:
+            #stall_range = randint(0, 3)
+            #for j in range(randint(1,10)):
+            #    stall = randint(0, stall_range) != 0
+            #    yield self.dut.n[0].ready_i.eq(stall)
+            #    yield
+            n = self.dut.n[mid]
+            yield n.ready_i.eq(1)
+            yield
+            o_n_valid = yield n.valid_o
+            i_n_ready = yield n.ready_i
+            if not o_n_valid or not i_n_ready:
+                continue
+
+            out_mid = yield n.data_o.mid
+            out_z = yield n.data_o.z
+
+            out_i = 0
+
+            print ("recv", out_mid, hex(out_z), "expected",
+                        hex(self.do[mid][out_i] ))
+
+            # see if this output has occurred already, delete it if it has
+            assert mid == out_mid, "out_mid %d not correct %d" % (out_mid, mid)
+            assert self.do[mid][out_i] == out_z
+            del self.do[mid][out_i]
+
+            # check if there's any more outputs
+            if len(self.do[mid]) == 0:
+                break
+        print ("recv ended", mid)
+
+
+def runfp(dut, width, name, fpkls, fpop):
+    vl = rtlil.convert(dut, ports=dut.ports())
+    with open("%s.il" % name, "w") as f:
+        f.write(vl)
+
+    test = InputTest(dut, width, fpkls, fpop)
+    run_simulation(dut, [test.rcv(1), test.rcv(0),
+                         test.rcv(3), test.rcv(2),
+                         test.send(0), test.send(1),
+                         test.send(3), test.send(2),
+                        ],
+                   vcd_name="%s.vcd" % name)
+
diff --git a/src/ieee754/fpmul/test/test_fpmul_pipe.py b/src/ieee754/fpmul/test/test_fpmul_pipe.py
new file mode 100644
index 00000000..117029b3
--- /dev/null
+++ b/src/ieee754/fpmul/test/test_fpmul_pipe.py
@@ -0,0 +1,19 @@
+""" test of FPMULMuxInOut
+"""
+
+from ieee754.fpmul.pipeline import (FPMULMuxInOut,)
+from ieee754.fpcommon.test.fpmux import runfp
+
+from sfpy import Float32, Float16
+from operator import mul
+
+def test_pipe_fp16():
+    dut = FPMULMuxInOut(16, 4)
+    runfp(dut, 16, "test_fpmul_pipe_fp16", Float16, mul)
+
+def test_pipe_fp32():
+    dut = FPMULMuxInOut(32, 4)
+    runfp(dut, 32, "test_fpmul_pipe_fp32", Float32, mul)
+
+if __name__ == '__main__':
+    test_pipe_fp32()