mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Added "yosys-smtbmc --dump-constr"

Browse source
This commit is contained in:
Clifford Wolf 2016-08-22 16:48:46 +02:00
parent f8a77abfac
commit 2bd30e2026
2 changed files with 62 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/smtbmc/Makefile
View file

@ -6,7 +6,7 @@ demo1: demo1.smt2
yosys-smtbmc -i --dump-vcd demo1.vcd demo1.smt2
demo2: demo2.smt2
yosys-smtbmc -g --dump-vcd demo2.vcd --dump-vlogtb demo2_tb.v demo2.smt2
yosys-smtbmc -g --dump-vcd demo2.vcd --dump-vlogtb demo2_tb.v --dump-constr demo2.smtc demo2.smt2
iverilog -g2012 -o demo2_tb demo2_tb.v demo2.v
vvp demo2_tb +vcd=demo2_tb.vcd