github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-08 09:31:27 +00:00
Code Issues Releases Wiki Activity
Files
bc0df04e065d53f3f1e2053861a94de29eb9e013
YosysHQ.yosys/tests/various/equiv_make_make_assert.ys
George Rennie fbf5d89587 equiv_make: Add -make_assert option 
This adds a -make_assert flag to equiv_make. When used, the pass generates
$eqx and $assert cells to encode equivalence instead of $equiv.
2022-06-24 00:17:02 +01:00

478 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink