from nmigen import Module, Signal, Elaboratable, Mux, Cat
from nmigen.asserts import Assert, AnyConst, Assume
-from nmigen.test.utils import FHDLTestCase
+from nmutil.formaltest import FHDLTestCase
from nmigen.cli import rtlil
from ieee754.part_mul_add.partpoints import PartitionPoints
shifter = Signal(shifterwidth)
points = PartitionPoints()
gates = Signal(mwidth-1)
- bitrev = Signal()
+ shift_right = Signal()
step = int(width/mwidth)
for i in range(mwidth-1):
points[(i+1)*step] = gates[i]
print(points)
comb += [data.eq(AnyConst(width)),
- bitrev.eq(AnyConst(1)),
+ shift_right.eq(AnyConst(1)),
shifter.eq(AnyConst(shifterwidth)),
gates.eq(AnyConst(mwidth-1))]
comb += [dut.data.eq(data),
dut.shifter.eq(shifter),
- dut.bitrev.eq(bitrev),
+ dut.shift_right.eq(shift_right),
out.eq(dut.output)]
expected = Signal(width)
- with m.If(bitrev == 0):
+ with m.If(shift_right == 0):
with m.Switch(points.as_sig()):
with m.Case(0b00):
comb += Assert(