Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added tracecmp3 smtbmc script | Clifford Wolf | 2016-11-16 | 3 | -0/+152 |
| | |||||
* | Improved tomthumbtestgen | Clifford Wolf | 2016-10-24 | 8 | -33/+62 |
| | |||||
* | Added scripts/tomthumbtestgen | Clifford Wolf | 2016-10-23 | 6 | -0/+183 |
| | |||||
* | Added smtbmc axicheck2, improved axicheck | Clifford Wolf | 2016-10-01 | 6 | -20/+207 |
| | |||||
* | Added smtbmc axicheck | Clifford Wolf | 2016-09-30 | 3 | -0/+201 |
| | |||||
* | Just COMPRESSED_ISA is enough to trigger the bug | Clifford Wolf | 2016-09-14 | 1 | -2/+2 |
| | |||||
* | tracecmp2 found a bug in this config | Clifford Wolf | 2016-09-13 | 1 | -5/+5 |
| | |||||
* | Added scripts/smtbmc/tracecmp2 | Clifford Wolf | 2016-09-13 | 4 | -0/+212 |
| | |||||
* | Merge pull request #18 from wallclimber21/quartus | Clifford Wolf | 2016-08-31 | 20 | -0/+680 |
|\ | | | | | ./scripts/quartus | ||||
| * | Delete unusused file | Tom Verbeure | 2016-08-31 | 1 | -8/+0 |
| | | |||||
| * | synth_speed | Tom Verbeure | 2016-08-30 | 3 | -13/+6 |
| | | |||||
| * | Don't delete non-existing files | Tom Verbeure | 2016-08-30 | 1 | -2/+2 |
| | | |||||
| * | synth_system | Tom Verbeure | 2016-08-30 | 5 | -36/+9 |
| | | |||||
| * | synth_area_large and synth_area_regular | Tom Verbeure | 2016-08-30 | 6 | -22/+15 |
| | | |||||
| * | Make synth_area_small work | Tom Verbeure | 2016-08-30 | 5 | -20/+16 |
| | | |||||
| * | Add QUARTUS_BIN prefix | Tom Verbeure | 2016-08-30 | 1 | -3/+3 |
| | | |||||
| * | Increase countdown by 1 | Tom Verbeure | 2016-08-30 | 1 | -1/+1 |
| | | |||||
| * | table.txt generation works | Tom Verbeure | 2016-08-29 | 3 | -27/+27 |
| | | |||||
| * | Checkpoint: map, fit | Tom Verbeure | 2016-08-29 | 2 | -37/+19 |
| | | |||||
| * | Make sim_system work | Tom Verbeure | 2016-08-29 | 2 | -20/+10 |
| | | |||||
| * | Clone vivado dir into quartus dir | Tom Verbeure | 2016-08-29 | 20 | -0/+761 |
| | | |||||
* | | Using new yosys write_smt2 cmdline | Clifford Wolf | 2016-08-30 | 3 | -5/+5 |
| | | |||||
* | | Minor fixes/cleanups in mul reset logic | Clifford Wolf | 2016-08-30 | 3 | -0/+101 |
|/ | |||||
* | Added more asserts to picorv32, more smtbmc examples | Clifford Wolf | 2016-08-29 | 6 | -3/+190 |
| | |||||
* | Added next gen yosys-smtbmc verification scripts | Clifford Wolf | 2016-08-26 | 5 | -0/+207 |
| | |||||
* | Minor fixes in scripts/icestorm/ | Clifford Wolf | 2016-07-14 | 2 | -11/+11 |
| | |||||
* | RISC-V ISA 2.1 now calls "sbreak" officially "ebreak" | Clifford Wolf | 2016-06-06 | 6 | -9/+9 |
| | |||||
* | Added mem timing variations to scripts/csmith/ testbench | Clifford Wolf | 2016-05-07 | 1 | -9/+24 |
| | |||||
* | Now using a truly minimalist syscalls.c | Clifford Wolf | 2016-05-05 | 2 | -844/+96 |
| | |||||
* | Improvements in scripts/csmith/ | Clifford Wolf | 2016-05-05 | 4 | -61/+77 |
| | |||||
* | Added scripts/csmith/ verilator support | Clifford Wolf | 2016-05-04 | 4 | -12/+68 |
| | |||||
* | Improved "make spike" in scripts/csmith/ | Clifford Wolf | 2016-05-04 | 1 | -5/+7 |
| | |||||
* | Added console out to csmith spike | Clifford Wolf | 2016-05-04 | 2 | -0/+15 |
| | |||||
* | Using .vvp instead of .exe for iverilog executables | Clifford Wolf | 2016-05-04 | 5 | -41/+41 |
| | |||||
* | Added scripts/csmith/ spike support | Clifford Wolf | 2016-05-04 | 6 | -21/+69 |
| | |||||
* | Fixed SP init in scripts/{csmith,cxxdemo}/ | Clifford Wolf | 2016-05-04 | 2 | -4/+12 |
| | |||||
* | Added scripts/csmith/ | Clifford Wolf | 2016-05-03 | 6 | -0/+642 |
| | |||||
* | Updated stats for Vivado 2016.1 | Clifford Wolf | 2016-04-20 | 1 | -1/+1 |
| | |||||
* | "xori" is sometimes disassembled as "not" (with -1 imm) | Clifford Wolf | 2016-04-13 | 1 | -0/+1 |
| | |||||
* | Added asmcheck to scripts/torture/ | Clifford Wolf | 2016-04-13 | 2 | -4/+43 |
| | |||||
* | Added batch size parameter for torture test | Clifford Wolf | 2016-04-13 | 1 | -2/+3 |
| | |||||
* | Fixed scripts/vivado/table.sh output formatting | Clifford Wolf | 2016-04-13 | 1 | -3/+3 |
| | |||||
* | Added SBREAK handling for CATCH_ILLINSN=0 | Clifford Wolf | 2016-04-13 | 1 | -0/+1 |
| | |||||
* | Added xcku/xcvu handling to scripts/vivado/table.sh | Clifford Wolf | 2016-04-13 | 1 | -0/+2 |
| | |||||
* | Disabled CATCH_ILLINSN for torture test (needs sbreak) | Clifford Wolf | 2016-04-12 | 1 | -1/+0 |
| | |||||
* | Run torture test with random PicoRV32 configs | Clifford Wolf | 2016-04-12 | 5 | -11/+54 |
| | |||||
* | Added BARREL_SHIFTER config parameter | Clifford Wolf | 2016-04-12 | 1 | -0/+1 |
| | |||||
* | Added Kintex/Virtex UltraScale to "make table.txt" in scripts/vivado/ | Clifford Wolf | 2016-04-12 | 2 | -1/+11 |
| | |||||
* | Added "make mrpoper" to scripts/torture/ | Clifford Wolf | 2016-04-11 | 1 | -2/+5 |
| | |||||
* | Added mul/div support to scripts/torture/ | Clifford Wolf | 2016-04-10 | 4 | -22/+18 |
| |