[libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=311

--- Comment #4 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
*face-palm*

i just realised that countzero is basically a PriorityEncoder
https://github.com/m-labs/nmigen/blob/master/nmigen/lib/coding.py

and that 90% of countzero.py can disappear as a result (sigh)

however it is not *just* a PriorityEncoder: countzero not only
changes the end from which it counts (MSB instead of LSB), it
changes 32-bit and 64-bit modes as well.

i am inclined however to suggest leaving that for now: what this
does mean however is that the formal proof is one that revolves
around PriorityEncoder more than anything else.

i will raise a suitable bugreport for that, now.

-- 
You are receiving this mail because:
You are on the CC list for the bug.