[Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal

[bugzilla-daemon at libre-soc.org]

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

--- Comment #26 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
done some() - worked! - Cesar could you take a look at the (new)
PartitionedXOR?
under bug #176.  it may need inverting of the input, or it may need RippleMSB.

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