diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-27 12:59:10 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-27 12:59:10 -0700 |
| commit | a39505e329cc05dbd4ad624a1cf0f6caf664fd9a (patch) | |
| tree | 3189137c3e21f6d1a3effba4603a864b249aafae /passes/equiv/equiv_opt.cc | |
| parent | fd0e3a2c43d96ba31beede9865d5000230029994 (diff) | |
| download | yosys-a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.tar.gz yosys-a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.tar.bz2 yosys-a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.zip | |
equiv_opt to call async2sync when not -multiclock like SymbiYosys
Diffstat (limited to 'passes/equiv/equiv_opt.cc')
| -rw-r--r-- | passes/equiv/equiv_opt.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc index d4c7f7953..9fe3bbd57 100644 --- a/passes/equiv/equiv_opt.cc +++ b/passes/equiv/equiv_opt.cc @@ -156,6 +156,8 @@ 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"); |