Clifford Wolf
|
197b6ffe2b
|
Just COMPRESSED_ISA is enough to trigger the bug
|
2016-09-14 10:51:09 +02:00 |
|
Clifford Wolf
|
702ce0eb79
|
tracecmp2 found a bug in this config
|
2016-09-13 18:36:56 +02:00 |
|
Clifford Wolf
|
096224273c
|
Added scripts/smtbmc/tracecmp2
|
2016-09-13 13:37:26 +02:00 |
|
Clifford Wolf
|
8710809978
|
Using new yosys write_smt2 cmdline
|
2016-08-30 12:44:03 +02:00 |
|
Clifford Wolf
|
cefe09b8d4
|
Minor fixes/cleanups in mul reset logic
|
2016-08-30 11:12:16 +02:00 |
|
Clifford Wolf
|
28fe45ffe9
|
Added more asserts to picorv32, more smtbmc examples
|
2016-08-29 17:23:00 +02:00 |
|
Clifford Wolf
|
d1d3c3c5e1
|
Added next gen yosys-smtbmc verification scripts
|
2016-08-26 23:39:39 +02:00 |