From 07d124084cc0ab394b20de4a820a81bc0597b894 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 19 Jul 2018 15:31:49 +0200 Subject: [PATCH] Use async2sync for "multiclock off" mode Signed-off-by: Clifford Wolf --- sbysrc/sby_core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2