From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 3 Oct 2019 17:07:15 +0000 (-0700)
Subject: Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"
X-Git-Tag: working-ls180~1001^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8765ec3c27f38e6fb57d057be9605788e144388b;p=yosys.git

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

This reverts commit a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
---

diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc
index 9fe3bbd57..d4c7f7953 100644
--- a/passes/equiv/equiv_opt.cc
+++ b/passes/equiv/equiv_opt.cc
@@ -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");