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 extra "setundef -anyseq" to aiger script

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-03-22 13:40:50 +01:00
parent 32d7325446
commit f918e2369a
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_core.py
View file

@ -419,6 +419,8 @@ class SbyJob:
print("opt -fast", file=f) print("opt -fast", file=f)
print("abc -g AND -fast", file=f) print("abc -g AND -fast", file=f)
print("opt_clean", file=f) print("opt_clean", file=f)
print("setundef -anyseq", file=f)
print("opt_clean", file=f)
print("stat", file=f) print("stat", file=f)
print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f) print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f)