Clifford Wolf
|
9d6fdda1fa
|
Added cpu?_trap signals to tracecmp3.v
|
2016-12-03 12:48:00 +01:00 |
|
Clifford Wolf
|
bc47b91260
|
Added tracecmp3 smtbmc script
|
2016-11-16 16:58:51 +01:00 |
|
Clifford Wolf
|
51b1a88333
|
Added smtbmc axicheck2, improved axicheck
|
2016-10-01 17:08:19 +02:00 |
|
Clifford Wolf
|
a6f5bc4f05
|
Added smtbmc axicheck
|
2016-09-30 18:18:32 +02:00 |
|
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 |