mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 06:04:06 +00:00
Code Activity

Use async2sync for "multiclock off" mode

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-07-19 15:31:49 +02:00
parent c5e5f5dcbb
commit 07d124084c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_core.py
View file

@ -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)