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 2d12ef77fe9920006d8582f14ec23a4935b06d96..16462a4fef423c38f507b77f362193c56c64336f 100644 (file)
--- 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)