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

From: bugzilla-daemon@libre-soc.org
To: libre-riscv-dev@lists.libre-riscv.org
Subject: [libre-riscv-dev] [Bug 311] countzero function for Logic Pipeline
Date: Fri, 15 May 2020 13:51:27 +0000
Message-ID: <bug-311-13-upevFNid6p@https.bugs.libre-soc.org/> (raw)
In-Reply-To: <bug-311-13@https.bugs.libre-soc.org/>

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

--- Comment #4 from Luke Kenneth Casson Leighton <lkcl@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.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev