9 Commits

Author	SHA1	Message	Date
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