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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Jan 9 17:44:38 GMT 2021


--- Comment #17 from Cesar Strauss <cestrauss at gmail.com> ---
(In reply to Cesar Strauss from comment #16)
> Will do PartitionedEqGtGe next.


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.

More information about the libre-soc-bugs mailing list