[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 #17 from Cesar Strauss <cestrauss at gmail.com> ---
(In reply to Cesar Strauss from comment #16)
> Will do PartitionedEqGtGe next.

Done!

It was very similar to PartitionedEq, just a few more lines to check the
different opcodes.

By the way, I'm testing the full 64-bit width, 8 times 8-bit partitions. The
run-time is still just a few seconds. Let's see how it goes.

I will now proceed to work on the remaining operations.

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