for trial_bits in range(radix):
t = Trial(self.core_config, trial_bits,
current_shift, log2_radix)
for trial_bits in range(radix):
t = Trial(self.core_config, trial_bits,
current_shift, log2_radix)
pass_flag = Signal(name=f"pass_flag_{trial_bits}", reset_less=True)
m.d.comb += pass_flag.eq(self.i.compare_lhs >= t.trial_compare_rhs)
pass_flag = Signal(name=f"pass_flag_{trial_bits}", reset_less=True)
m.d.comb += pass_flag.eq(self.i.compare_lhs >= t.trial_compare_rhs)
# compare_lhs >= compare_rhs is a pipeline invariant).
next_bits = Signal(log2_radix, reset_less=True)
# compare_lhs >= compare_rhs is a pipeline invariant).
next_bits = Signal(log2_radix, reset_less=True)
for i in range(log2_radix):
bit_value = 1
for j in range(0, radix, 1 << i):
bit_value ^= pass_flags[j]
for i in range(log2_radix):
bit_value = 1
for j in range(0, radix, 1 << i):
bit_value ^= pass_flags[j]
- m.d.comb += next_bits.part(i, 1).eq(bit_value)
+ bv = Signal(reset_less=True)
+ m.d.comb += bv.eq(bit_value)
+ l.append(bv)
+ m.d.comb += next_bits.eq(Cat(*l))
# merge/select multi-bit trial_compare_rhs_values, to go
# into compare_rhs. XXX (only one of these will succeed?)
next_compare_rhs = 0
for i in range(radix):
# merge/select multi-bit trial_compare_rhs_values, to go
# into compare_rhs. XXX (only one of these will succeed?)
next_compare_rhs = 0
for i in range(radix):
next_compare_rhs |= Mux(selected,
trial_compare_rhs_values[i],
0)
next_compare_rhs |= Mux(selected,
trial_compare_rhs_values[i],
0)