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

Add "smtbmc --dumpsmt2"

Browse source
This commit is contained in:
Clifford Wolf 2017-10-23 02:17:39 +02:00
parent b690221f99
commit 78efd64985
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
sbysrc/sby_engine_smtbmc.py
View file

@ -24,8 +24,9 @@ def run(mode, job, engine_idx, engine):
nomem_opt = False
syn_opt = False
stbv_opt = False
dumpsmt2 = False
opts, args = getopt.getopt(engine[1:], "", ["nomem", "syn", "stbv", "presat", "unroll"])
opts, args = getopt.getopt(engine[1:], "", ["nomem", "syn", "stbv", "presat", "unroll", "dumpsmt2"])
for o, a in opts:
if o == "--nomem":
@ -38,6 +39,8 @@ def run(mode, job, engine_idx, engine):
smtbmc_opts += ["--presat"]
elif o == "--unroll":
smtbmc_opts += ["--unroll"]
elif o == "--dumpsmt2":
dumpsmt2 = True
else:
assert False
@ -78,6 +81,9 @@ def run(mode, job, engine_idx, engine):
smtbmc_opts.append("-c")
trace_prefix += "%"
if dumpsmt2:
smtbmc_opts += ["--dump-smt2", trace_prefix + ".smt2"]
task = SbyTask(job, taskname, job.model(model_name),
"cd %s; %s --noprogress %s -t %d --append %d --dump-vcd %s.vcd --dump-vlogtb %s_tb.v --dump-smtc %s.smtc model/design_%s.smt2" %
(job.workdir, job.exe_paths["smtbmc"], " ".join(smtbmc_opts), job.opt_depth, job.opt_append, trace_prefix, trace_prefix, trace_prefix, model_name),