Clifford Wolf
|
b226893461
|
More yosys-smtbmc bugfixes
|
2016-08-29 14:53:32 +02:00 |
|
Clifford Wolf
|
a2e2fc5980
|
Various fixes and improvements in yosys-smtbmc
|
2016-08-29 13:53:12 +02:00 |
|
Clifford Wolf
|
f56dba8e20
|
Some changes to yosys-smtbmc cmd line options, add --final-only
|
2016-08-27 22:04:15 +02:00 |
|
Clifford Wolf
|
adcda6817e
|
Added smtc "final" statement
|
2016-08-27 14:30:36 +02:00 |
|
Clifford Wolf
|
17233b11e1
|
Various fixes and improvements in smt2 back-end
|
2016-08-26 17:33:02 +02:00 |
|
Clifford Wolf
|
ad56ad44c3
|
More yosys-smtbmc smtc features
|
2016-08-24 23:18:29 +02:00 |
|
Clifford Wolf
|
ee3e7a0e45
|
yosys-smtbmc --smtc -g
|
2016-08-24 22:09:50 +02:00 |
|
Clifford Wolf
|
6523023645
|
Minor yosys-smtbmc bugfix
|
2016-08-22 17:45:01 +02:00 |
|
Clifford Wolf
|
583ceee6eb
|
Added "yosys-smtbmc --constr"
|
2016-08-22 17:27:43 +02:00 |
|
Clifford Wolf
|
2bd30e2026
|
Added "yosys-smtbmc --dump-constr"
|
2016-08-22 16:48:46 +02:00 |
|
Clifford Wolf
|
7a33b9892a
|
yosys-smtbmc: improved --dump-vlogtb handling of memories
|
2016-08-21 15:56:22 +02:00 |
|
Clifford Wolf
|
f7578b0239
|
Added "yosys-smtbmc --dump-vlogtb"
|
2016-08-20 18:43:39 +02:00 |
|
Clifford Wolf
|
ed785194de
|
Added support for memories to smtio.py
|
2016-08-20 18:42:32 +02:00 |
|
Clifford Wolf
|
c325bae792
|
Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-end improvements
|
2016-08-20 18:41:57 +02:00 |
|
Clifford Wolf
|
28271e43c9
|
Added "yosys-smtbmc -g"
|
2016-08-20 16:32:50 +02:00 |
|
Clifford Wolf
|
a889acb897
|
Added smtbmc longopt support
|
2016-08-20 16:07:59 +02:00 |
|
Clifford Wolf
|
de8ee412c3
|
Improved smtbmc vcd generation performance
|
2016-08-18 11:17:45 +02:00 |
|
Clifford Wolf
|
dfcd30ea86
|
Added printing of code loc of failed asserts to yosys-smtbmc
|
2016-08-17 20:10:02 +02:00 |
|
Clifford Wolf
|
da56a5bbc6
|
Added $initstate support to smtbmc flow
|
2016-07-27 16:11:37 +02:00 |
|
Clifford Wolf
|
c71785d65e
|
Yosys-smtbmc: Support for hierarchical VCD dumping
|
2016-07-11 12:49:33 +02:00 |
|
Clifford Wolf
|
0153ad85d9
|
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
|
2016-07-11 11:49:05 +02:00 |
|
Clifford Wolf
|
771c5fe000
|
Support for hierarchical designs in smt2 back-end
|
2016-07-10 18:11:25 +02:00 |
|
Clifford Wolf
|
0bc95f1e04
|
Added "yosys -D" feature
|
2016-04-21 23:28:37 +02:00 |
|
Clifford Wolf
|
47fac573cf
|
Added yosys-smtbmc -S
|
2015-12-20 09:58:54 +01:00 |
|
Clifford Wolf
|
207736b4ee
|
Import more std:: stuff into Yosys namespace
|
2015-10-25 19:30:49 +01:00 |
|
Clifford Wolf
|
7f110e7018
|
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
|
2015-10-24 22:56:40 +02:00 |
|
Clifford Wolf
|
255bb914ba
|
Progress in yosys-smtbmc
|
2015-10-15 15:54:59 +02:00 |
|
Clifford Wolf
|
302166dd59
|
Improvements in yosys-smtbmc
|
2015-10-15 15:10:33 +02:00 |
|
Clifford Wolf
|
5dd3e93e8f
|
More "yosys-smtbmc -c" fixes
|
2015-10-14 23:23:25 +02:00 |
|
Clifford Wolf
|
9fd0f87059
|
Fixed yosys-smtbmc -c
|
2015-10-14 23:00:46 +02:00 |
|
Clifford Wolf
|
3c31572152
|
Added yosys-smtbmc copyright
|
2015-10-14 01:31:54 +02:00 |
|
Clifford Wolf
|
d7de0f4bd1
|
Improvements in yosys-smtbmc
|
2015-10-14 01:27:55 +02:00 |
|
Clifford Wolf
|
821f1b8534
|
Added yosys-smtbmc
|
2015-10-14 00:47:04 +02:00 |
|
Clifford Wolf
|
7bcd2a4bb3
|
Implemented smtbmc.py -i
|
2015-10-14 00:18:38 +02:00 |
|
Clifford Wolf
|
29160525aa
|
Added smtbmc.py
|
2015-10-13 17:17:23 +02:00 |
|
Clifford Wolf
|
3a22b31bda
|
Added write_smt2 -wires
|
2015-10-13 17:17:12 +02:00 |
|
Clifford Wolf
|
09b51cb375
|
Added "yosys-smt2-wire" tag support to smt2 back-end
|
2015-08-31 02:05:58 +02:00 |
|
Clifford Wolf
|
b659ffb457
|
Fixed generation of smt2 concat statements
|
2015-08-15 11:45:44 +02:00 |
|
Clifford Wolf
|
698357dd9a
|
Added "write_smt2 -regs"
|
2015-08-12 17:13:54 +02:00 |
|
Clifford Wolf
|
883e09d8ed
|
Use MEMID as name for $mem cell
|
2015-08-09 13:35:44 +02:00 |
|
Clifford Wolf
|
6c84341f22
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
|
Clifford Wolf
|
93685a77c6
|
Removed debug code from write_smt2
|
2015-06-14 16:22:06 +02:00 |
|
Clifford Wolf
|
255dcb27a0
|
Added write_smt2 -mem
|
2015-06-14 15:46:47 +02:00 |
|
Clifford Wolf
|
5d4f513c3b
|
Added $assume support to write_smt2
|
2015-02-26 19:02:55 +01:00 |
|
Clifford Wolf
|
ff3f2448b1
|
Minor "write_smt2" help msg change
|
2015-02-22 16:30:02 +01:00 |
|
Clifford Wolf
|
4b89dd983c
|
Added "<mod>_a" and "<mod>_i" to write_smt2 output
|
2015-02-22 16:19:10 +01:00 |
|
Clifford Wolf
|
e8c12e5f0c
|
Various fixes and improvements in "write_smt2 -bv"
|
2014-12-25 20:28:34 +01:00 |
|
Clifford Wolf
|
68233baa1f
|
Various fixes and improvements in write_smt2
|
2014-12-25 17:52:31 +01:00 |
|
Clifford Wolf
|
95f17dbab0
|
Added support for most BV cell types to write_smt2
|
2014-12-25 15:37:02 +01:00 |
|
Clifford Wolf
|
1c3d51375f
|
Added "write_smt2 -bv" and other write_smt2 improvements
|
2014-12-25 13:30:20 +01:00 |
|