projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7f1368) | patch
Add equiv_opt -multiclock
authorDavid Shah <dave@ds0.me>
Wed, 11 Sep 2019 12:55:16 +0000 (13:55 +0100)
committerDavid Shah <dave@ds0.me>
Wed, 11 Sep 2019 12:55:59 +0000 (13:55 +0100)
commitc43e52d2d7d16c26b1a4a9c20fad83c9f4577910
tree0d49b02151e204e3f0365d604d50e7c152736005tree
parentc7f1368cd273f1d84507d29548f3420a08a82702commit | diff
Add equiv_opt -multiclock

Signed-off-by: David Shah <dave@ds0.me>
passes/equiv/equiv_opt.cc diff | blob | history
tests/various/equiv_opt_multiclock.ys [new file with mode: 0644] blob