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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Fri May 15 14:51:27 BST 2020


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

i just realised that countzero is basically a PriorityEncoder

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.

More information about the libre-riscv-dev mailing list