riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys" 

This reverts commit a39505e329.
This commit is contained in:
Eddie Hung 2019-10-03 10:07:15 -07:00
parent c6d15c9aad
commit 8765ec3c27
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
passes/equiv/equiv_opt.cc
View File

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