from nmutil.latch import SRLatch
+class DepCell(Elaboratable):
+ """ implements 11.4.7 mitch alsup dependence cell, p27
+ adjusted to be clock-sync'd on rising edge only.
+ mitch design (as does 6600) requires alternating rising/falling clock
+ """
+ def __init__(self):
+ # inputs
+ self.reg_i = Signal(reset_less=True) # reg bit in (top)
+ self.issue_i = Signal(reset_less=True) # Issue in (top)
+ self.go_i = Signal(reset_less=True) # Go read/write in (left)
+
+ # for Register File Select Lines (vertical)
+ self.rsel_o = Signal(reset_less=True) # reg sel (bottom)
+ # for Function Unit "forward progress" (horizontal)
+ self.fwd_o = Signal(reset_less=True) # FU forard progress (right)
+
+ def elaborate(self, platform):
+ m = Module()
+ m.submodules.l = l = SRLatch(sync=False) # async latch
+
+ # reset on go HI, set on dest and issue
+ m.d.comb += dest_l.s.eq(self.issue_i & self.reg_i)
+ m.d.comb += dest_l.r.eq(self.go_i)
+
+ # FU "Forward Progress" (read out horizontally)
+ m.d.sync += self.fwdl_o.eq(l.q & self.reg_i)
+
+ # Register File Select (read out vertically)
+ m.d.comb += self.rselo.eq(l.q & self.go_i)
+
+ return m
+
+ def __iter__(self):
+ yield self.regt_i
+ yield self.issue_i
+ yield self.go_i
+ yield self.rsel_o
+ yield self.fwd_o
+
+ def ports(self):
+ return list(self)
+
+
class DependenceCell(Elaboratable):
""" implements 11.4.7 mitch alsup dependence cell, p27
"""
def elaborate(self, platform):
m = Module()
- m.submodules.dest_l = dest_l = SRLatch() # clock-sync'd
- m.submodules.src1_l = src1_l = SRLatch() # clock-sync'd
- m.submodules.src2_l = src2_l = SRLatch() # clock-sync'd
+ m.submodules.dest_l = dest_l = SRLatch(sync=False) # clock-sync'd
+ m.submodules.src1_l = src1_l = SRLatch(sync=False) # clock-sync'd
+ m.submodules.src2_l = src2_l = SRLatch(sync=False) # clock-sync'd
# destination latch: reset on go_wr HI, set on dest and issue
m.d.comb += dest_l.s.eq(self.issue_i & self.dest_i)
m.d.comb += src2_l.r.eq(self.go_rd_i)
# FU "Forward Progress" (read out horizontally)
- m.d.comb += self.dest_fwd_o.eq(dest_l.q & self.go_wr_i)
- m.d.comb += self.src1_fwd_o.eq(src1_l.q & self.go_rd_i)
- m.d.comb += self.src2_fwd_o.eq(src2_l.q & self.go_rd_i)
+ m.d.comb += self.dest_fwd_o.eq(dest_l.q & self.dest_i)
+ m.d.comb += self.src1_fwd_o.eq(src1_l.q & self.src1_i)
+ m.d.comb += self.src2_fwd_o.eq(src2_l.q & self.src2_i)
# Register File Select (read out vertically)
- m.d.comb += self.dest_rsel_o.eq(dest_l.q & self.dest_i)
- m.d.comb += self.src1_rsel_o.eq(src1_l.q & self.src1_i)
- m.d.comb += self.src2_rsel_o.eq(src2_l.q & self.src2_i)
+ m.d.sync += self.dest_rsel_o.eq(dest_l.q & ~self.go_wr_i)
+ m.d.sync += self.src1_rsel_o.eq(src1_l.q & ~self.go_rd_i)
+ m.d.sync += self.src2_rsel_o.eq(src2_l.q & ~self.go_rd_i)
return m
self.dest_i = Signal(n_reg_col, reset_less=True)
self.src1_i = Signal(n_reg_col, reset_less=True)
self.src2_i = Signal(n_reg_col, reset_less=True)
- self.issue_i = Signal(n_reg_col, reset_less=True)
- self.go_wr_i = Signal(n_reg_col, reset_less=True)
- self.go_rd_i = Signal(n_reg_col, reset_less=True)
+ self.issue_i = Signal(reset_less=True)
+ self.go_wr_i = Signal(reset_less=True)
+ self.go_rd_i = Signal(reset_less=True)
self.dest_rsel_o = Signal(n_reg_col, reset_less=True)
self.src1_rsel_o = Signal(n_reg_col, reset_less=True)
# ---
# connect Dep issue_i/go_rd_i/go_wr_i to module issue_i/go_rd/go_wr
# ---
- go_rd_i = []
- go_wr_i = []
- issue_i = []
for rn in range(self.n_reg_col):
dc = rcell[rn]
- # accumulate cell outputs for issue/go_rd/go_wr
- go_rd_i.append(dc.go_rd_i)
- go_wr_i.append(dc.go_wr_i)
- issue_i.append(dc.issue_i)
- # wire up inputs from module to row cell inputs (Cat is gooood)
- m.d.comb += [Cat(*go_rd_i).eq(self.go_rd_i),
- Cat(*go_wr_i).eq(self.go_wr_i),
- Cat(*issue_i).eq(self.issue_i),
+ m.d.comb += [dc.go_rd_i.eq(self.go_rd_i),
+ dc.go_wr_i.eq(self.go_wr_i),
+ dc.issue_i.eq(self.issue_i),
]
# ---
# ---
# connect Reg Selection vector
# ---
+ dest_rsel_o = []
+ src1_rsel_o = []
+ src2_rsel_o = []
for rn in range(self.n_reg_col):
dc = rcell[rn]
- dest_rsel_o = []
- src1_rsel_o = []
- src2_rsel_o = []
# accumulate cell reg-select outputs dest/src1/src2
dest_rsel_o.append(dc.dest_rsel_o)
src1_rsel_o.append(dc.src1_rsel_o)
return m
+ def __iter__(self):
+ yield self.dest_i
+ yield self.src1_i
+ yield self.src2_i
+ yield self.issue_i
+ yield self.go_wr_i
+ yield self.go_rd_i
+ yield self.dest_rsel_o
+ yield self.src1_rsel_o
+ yield self.src2_rsel_o
+ yield self.dest_fwd_o
+ yield self.src1_fwd_o
+ yield self.src2_fwd_o
+
+ def ports(self):
+ return list(self)
+
def dcell_sim(dut):
yield dut.dest_i.eq(1)
yield
def test_dcell():
+ dut = DependencyRow(4)
+ vl = rtlil.convert(dut, ports=dut.ports())
+ with open("test_drow.il", "w") as f:
+ f.write(vl)
+
dut = DependenceCell()
vl = rtlil.convert(dut, ports=dut.ports())
with open("test_dcell.il", "w") as f: