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

Merge pull request #96 from YosysHQ/claire/btorscript

Browse source 
Be more conservative in btor ys script
This commit is contained in:
clairexen 2020-07-01 16:21:55 +02:00 committed by GitHub
parent 56c9882152 655d9c6bcd
commit 2751d19216
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
sbysrc/sby_core.py
View file

@ -418,13 +418,14 @@ class SbyJob:
print("read_ilang design{}.il".format("_nomem" if "_nomem" in model_name else ""), file=f)
print("flatten", file=f)
print("setundef -undriven -anyseq", file=f)
print("setattr -unset keep", file=f)
print("opt -full", file=f)
if "_syn" in model_name:
print("opt -full", file=f)
print("techmap", file=f)
print("opt -fast", file=f)
print("abc", file=f)
print("opt_clean", file=f)
else:
print("opt -fast", file=f)
print("delete -output", file=f)
print("stat", file=f)
print("write_btor {}-i design_{m}.info design_{m}.btor".format("-c " if self.opt_mode == "cover" else "", m=model_name), file=f)