2024-08-28-4984ddd: #2529: Use eqy and sby to perform formal verification
·
153 commits
to main
since this release
This PR changes the way Formal Verification is performed.
Up to now, some of the tests were failing because we failed to prove equivalence (but it doesn't mean that we proved that they aren't equivalent). FV is now performed using eqy and sby tools, which lowers false-negative (and positive) tests.