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

Add "setundef -anyseq" to default yosys script

Browse source
This commit is contained in:
Clifford Wolf 2017-05-28 12:32:30 +02:00
parent ff054ab88b
commit 3fb72628de
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
sbysrc/sby_core.py
View file

@ -357,6 +357,7 @@ class SbyJob:
print("chformal -assert2assume", file=f)
print("chformal -cover -remove", file=f)
print("opt_clean", file=f)
print("setundef -anyseq", file=f)
print("write_ilang ../model/design.il", file=f)
task = SbyTask(self, "script", [],