morphing FPDIV into Stage API compliance
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 30 Apr 2019 00:33:24 +0000 (01:33 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 30 Apr 2019 00:33:24 +0000 (01:33 +0100)
src/add/fpbase.py
src/add/test_fsm_experiment.py

index c707f1ac23ecfc7433ddc823a95e2e1a7e07a057..f49085921d914d600dea950d3707ab924eb0272b 100644 (file)
@@ -489,8 +489,10 @@ class FPOpIn(PrevControl):
     def __init__(self, width):
         PrevControl.__init__(self)
         self.width = width
-        self.v = Signal(width)
-        self.data_i = self.v
+
+    @property
+    def v(self):
+        return self.data_i
 
     def chain_inv(self, in_op, extra=None):
         stb = in_op.stb
@@ -515,8 +517,10 @@ class FPOpOut(NextControl):
     def __init__(self, width):
         NextControl.__init__(self)
         self.width = width
-        self.v = Signal(width)
-        self.data_o = self.v
+
+    @property
+    def v(self):
+        return self.data_o
 
     def chain_inv(self, in_op, extra=None):
         stb = in_op.stb
index 0e820c96f00ad213347f0d056001634140169f56..17cee24ebb4cb5e85cd49311140017912f4488df 100644 (file)
@@ -19,11 +19,26 @@ class FPDIV(FPBase, Elaboratable):
         FPBase.__init__(self)
         self.width = width
 
-        self.in_a  = FPOpIn(width)
-        self.out_z = FPOpOut(width)
+        self.p = FPOpIn(width)
+        self.n = FPOpOut(width)
+
+        self.p.data_i = self.ispec()
+        self.n.data_o = self.ospec()
 
         self.states = []
 
+    def ispec(self):
+        return Signal(self.width, name="a")
+
+    def ospec(self):
+        return Signal(self.width, name="z")
+
+    def setup(self, m, i):
+        m.d.comb += self.p.v.eq(i) # connect input
+
+    def process(self, i):
+        return self.n.v # return z output
+
     def add_state(self, state):
         self.states.append(state)
         return state
@@ -37,12 +52,12 @@ class FPDIV(FPBase, Elaboratable):
         a = FPNumIn(None, self.width, False)
         z = FPNumOut(self.width, False)
 
-        m.submodules.in_a = self.in_a
-        m.submodules.out_z = self.out_z
+        m.submodules.p = self.p
+        m.submodules.n = self.n
         m.submodules.a = a
         m.submodules.z = z
 
-        m.d.comb += a.v.eq(self.in_a.v)
+        m.d.comb += a.v.eq(self.p.v)
 
         with m.FSM() as fsm:
 
@@ -50,8 +65,8 @@ class FPDIV(FPBase, Elaboratable):
             # gets operand a
 
             with m.State("get_a"):
-                res = self.get_op(m, self.in_a, a, "add_1")
-                m.d.sync += eq([a, self.in_a.ready_o], res)
+                res = self.get_op(m, self.p, a, "add_1")
+                m.d.sync += eq([a, self.p.ready_o], res)
 
             with m.State("add_1"):
                 m.next = "pack"
@@ -71,7 +86,7 @@ class FPDIV(FPBase, Elaboratable):
             # put_z stage
 
             with m.State("put_z"):
-                self.put_z(m, z, self.out_z, "get_a")
+                self.put_z(m, z, self.n, "get_a")
 
         return m
 
@@ -80,19 +95,7 @@ class FPDIVPipe(ControlBase):
     def __init__(self, width):
         self.width = width
         self.fpdiv = FPDIV(width=width)
-        ControlBase.__init__(self, self)
-
-    def ispec(self):
-        return Signal(self.width, name="a")
-
-    def ospec(self):
-        return Signal(self.width, name="z")
-
-    def setup(self, m, i):
-        m.d.comb += self.fpdiv.in_a.v.eq(i) # connect input
-
-    def process(self, i):
-        return self.fpdiv.out_z.v # return z output
+        ControlBase.__init__(self, self.fpdiv)
 
     def elaborate(self, platform):
         self.m = m = ControlBase.elaborate(self, platform)
@@ -100,8 +103,8 @@ class FPDIVPipe(ControlBase):
         m.submodules.fpdiv = self.fpdiv
 
         # see if connecting to stb/ack works
-        m.d.comb += self.fpdiv.in_a._connect_in(self.p)
-        m.d.comb += self.fpdiv.out_z._connect_out(self.n, do_data=False)
+        m.d.comb += self.fpdiv.p._connect_in(self.p)
+        m.d.comb += self.fpdiv.n._connect_out(self.n, do_data=False)
         m.d.comb += self.n.data_o.eq(self.data_r)
 
         return m