from hashlib import sha256
import enum
import pdb
+from nmigen.cli import verilog, rtlil
+
+
+def create_ilang(dut, traces, test_name):
+ vl = rtlil.convert(dut, ports=traces)
+ with open("%s.il" % test_name, "w") as f:
+ f.write(vl)
def create_simulator(module: Any,
traces: List[Signal],
test_name: str) -> Simulator:
+ create_ilang(module, traces, test_name)
return Simulator(module,
vcd_file=open(test_name + ".vcd", "w"),
gtkw_file=open(test_name + ".gtkw", "w"),
self.assertEqual((yield partition_points[1]), True)
self.assertEqual((yield partition_points[5]), False)
yield partition_point_10.eq(0)
- yield Delay(1e-6)
+ yield Delay(0.1e-6)
self.assertEqual((yield mask), 0xFFFD)
yield partition_point_10.eq(1)
- yield Delay(1e-6)
+ yield Delay(0.1e-6)
self.assertEqual((yield mask), 0xFBFD)
sim.add_process(async_process)
(0x0000, 0xFFFF)]:
yield module.a.eq(a)
yield module.b.eq(b)
- yield Delay(1e-6)
+ yield Delay(0.1e-6)
y = 0
for mask in mask_list:
y |= mask & ((a & mask) + (b & mask))
if gen_or_check == GenOrCheck.Generate:
for i, v in zip(inputs, values):
yield i.eq(v)
- yield Delay(1e-6)
+ yield Delay(0.1e-6)
y = 0
for mask in mask_list:
v = 0
for value in values:
v += value & mask
y |= mask & v
- output = (yield module.output)
+ output = (yield module.o.output)
if gen_or_check == GenOrCheck.Check:
self.assertEqual(y, output, f"0x{y:X} != 0x{output:X}")
yield Tick()
yield Tick()
yield from generic_process(GenOrCheck.Check)
- sim.add_clock(2e-6)
+ if "sync" in sim._domains:
+ sim.add_clock(2e-6)
sim.add_process(generate_process)
sim.add_process(check_process)
sim.run()
module = AddReduce(inputs,
width,
register_levels,
- partition_points)
+ partition_points,
+ [])
file_name = "add_reduce"
if len(register_levels) != 0:
file_name += f"-{'_'.join(map(repr, register_levels))}"
file_name += f"-{input_count:02d}"
- with create_simulator(module,
- [partition_4,
- partition_8,
- *inputs,
- module.output],
- file_name) as sim:
+ ports = [partition_4, partition_8, *inputs, module.o.output]
+ #create_ilang(module, ports, file_name)
+ with create_simulator(module, ports, file_name) as sim:
self.subtest_run_sim(input_count,
sim,
partition_4,
yield module.a.eq(a)
yield module.b.eq(b)
output2, intermediate_output2 = self.simd_mul(a, b, lanes)
- yield Delay(1e-6)
+ yield Delay(0.1e-6)
if gen_or_check == GenOrCheck.Check:
- intermediate_output = (yield module._intermediate_output)
+ intermediate_output = (yield module.intermediate_output)
self.assertEqual(intermediate_output,
intermediate_output2,
f"0x{intermediate_output:X} "
file_name += f"-{'_'.join(map(repr, register_levels))}"
ports = [module.a,
module.b,
- module._intermediate_output,
+ module.intermediate_output,
module.output]
ports.extend(module.part_ops)
ports.extend(module.part_pts.values())
- for signals in module._delayed_part_ops:
- ports.extend(signals)
- ports.extend(module._part_8)
- ports.extend(module._part_16)
- ports.extend(module._part_32)
- ports.extend(module._part_64)
- for signals in module._delayed_part_8:
- ports.extend(signals)
- for signals in module._delayed_part_16:
- ports.extend(signals)
- for signals in module._delayed_part_32:
- ports.extend(signals)
- for signals in module._delayed_part_64:
- ports.extend(signals)
- ports += [module._output_64,
- module._output_32,
- module._output_16,
- module._output_8]
- ports.extend(module._a_signed)
- ports.extend(module._b_signed)
- ports += [module._not_a_term_8,
- module._neg_lsb_a_term_8,
- module._not_b_term_8,
- module._neg_lsb_b_term_8,
- module._not_a_term_16,
- module._neg_lsb_a_term_16,
- module._not_b_term_16,
- module._neg_lsb_b_term_16,
- module._not_a_term_32,
- module._neg_lsb_a_term_32,
- module._not_b_term_32,
- module._neg_lsb_b_term_32,
- module._not_a_term_64,
- module._neg_lsb_a_term_64,
- module._not_b_term_64,
- module._neg_lsb_b_term_64]
with create_simulator(module, ports, file_name) as sim:
def process(gen_or_check: GenOrCheck) -> AsyncProcessGenerator:
for a_signed in False, True:
yield Tick()
yield from process(GenOrCheck.Check)
- sim.add_clock(2e-6)
+ if "sync" in sim._domains:
+ sim.add_clock(2e-6)
sim.add_process(generate_process)
sim.add_process(check_process)
sim.run()