mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 01:54:10 +00:00
Code Activity

equiv_opt to call async2sync when not -multiclock like SymbiYosys

Browse source
This commit is contained in:
Eddie Hung 2019-09-27 12:59:10 -07:00
parent fd0e3a2c43
commit a39505e329
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
passes/equiv/equiv_opt.cc
View file

@ -156,6 +156,8 @@ struct EquivOptPass:public ScriptPass
if (check_label("prove")) { if (check_label("prove")) {
if (multiclock || help_mode) if (multiclock || help_mode)
run("clk2fflogic", "(only with -multiclock)"); run("clk2fflogic", "(only with -multiclock)");
else
run("async2sync", "(only without -multiclock)");
run("equiv_make gold gate equiv"); run("equiv_make gold gate equiv");
if (help_mode) if (help_mode)
run("equiv_induct [-undef] equiv"); run("equiv_induct [-undef] equiv");