[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 #27 from Cesar Strauss <cestrauss at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #26)
> 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.

It needed both, RippleLSB (not RippleMSB) and inverting the output (not the
input). Also, formally verifying it on 8-bit partitions seemed to take a really
long time, but it quickly passed with 4-bit partitions.

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