From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 19 Jul 2018 13:31:49 +0000 (+0200)
Subject: Use async2sync for "multiclock off" mode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=07d124084cc0ab394b20de4a820a81bc0597b894;p=SymbiYosys.git

Use async2sync for "multiclock off" mode

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 2d12ef7..16462a4 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -287,7 +287,7 @@ class SbyJob:
                 if self.opt_multiclock:
                     print("clk2fflogic", file=f)
                 else:
-                    print("techmap -map +/adff2dff.v", file=f)
+                    print("async2sync", file=f)
                     print("chformal -assume -early", file=f)
                 if self.opt_mode in ["bmc", "prove"]:
                     print("chformal -live -fair -cover -remove", file=f)