riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

yosys-smtbmc: ABC is a QF_BV solver

This commit is contained in:
Clifford Wolf 2016-10-03 20:43:38 +02:00
parent 99b2093bc4
commit 1114ce9210
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
backends/smt2/smtio.py
View File

@ -98,6 +98,7 @@ class SmtIo:
if self.solver == "abc":
self.popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
self.logic_ax = False
self.unroll = True
self.noincr = True