From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 10 Apr 2019 06:32:31 +0000 (+0100)
Subject: add experiment to see if using a SyncFIFO as a buffered pipeline stage works
X-Git-Tag: ls180-24jan2020~1270
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c6b84fb245bd4111a8f2778f6a9607137f3971f;p=ieee754fpu.git

add experiment to see if using a SyncFIFO as a buffered pipeline stage works
---

diff --git a/src/add/singlepipe.py b/src/add/singlepipe.py
index 2cfa139a..ab9b7182 100644
--- a/src/add/singlepipe.py
+++ b/src/add/singlepipe.py
@@ -166,6 +166,7 @@
 
 from nmigen import Signal, Cat, Const, Mux, Module, Value
 from nmigen.cli import verilog, rtlil
+from nmigen.lib.fifo import SyncFIFO
 from nmigen.hdl.ast import ArrayProxy
 from nmigen.hdl.rec import Record, Layout
 
@@ -914,3 +915,42 @@ class RegisterPipeline(UnbufferedPipeline):
     def __init__(self, iospecfn):
         UnbufferedPipeline.__init__(self, PassThroughStage(iospecfn))
 
+
+class FIFOtest(ControlBase):
+    """ A test of using a SyncFIFO to see if it will work.
+        Note: the only things it will accept is a Signal of width "width".
+    """
+
+    def __init__(self, width, depth):
+
+        self.fwidth = width
+        self.fdepth = depth
+        def iospecfn():
+            return Signal(width, name="data")
+        stage = PassThroughStage(iospecfn)
+        ControlBase.__init__(self, stage=stage)
+
+    def elaborate(self, platform):
+        self.m = m = ControlBase._elaborate(self, platform)
+
+        fifo = SyncFIFO(self.fwidth, self.fdepth)
+
+        # prev: make the FIFO "look" like a PrevControl...
+        fp = PrevControl()
+        fp.i_valid = fifo.writable
+        fp._o_ready = fifo.we
+        fp.i_data = fifo.din
+        # ... so we can do this!
+        m.d.comb += fp._connect_in(self)
+        
+        # next: make the FIFO "look" like a NextControl...
+        fn = NextControl()
+        fn.o_valid = fifo.readable
+        fn.i_ready = fifo.ee
+        fn.o_data = fifo.dout
+        # ... so we can do this!
+        m.d.comb += fn._connect_out(self)
+
+        # err... that should be all!
+        return m
+