github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-03 21:33:32 +00:00
Code Issues Releases Wiki Activity

Added "yosys-smtbmc -s abc"

Browse Source
This commit is contained in:
Clifford Wolf
2016-10-01 13:54:21 +02:00
parent 23594597bc
commit 4eb0d6fc0e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
backends/smt2/smtio.py
View File

@@ -92,6 +92,10 @@ class SmtIo:
popen_vargs = ['boolector', '--smt2', '-i']
self.unroll = True
if self.solver == "abc":
popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
self.unroll = True
if self.solver == "dummy":
assert self.dummy_file is not None
self.dummy_fd = open(self.dummy_file, "r")