Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Removed old scripts/smt2-bmc/ | Clifford Wolf | 2016-12-03 | 10 | -1075/+0 | |
* | Fixed catching jumps to misaligned insn | Clifford Wolf | 2016-11-29 | 1 | -7/+9 | |
* | Renamed rvfi_opcode to rvfi_insn | Clifford Wolf | 2016-11-28 | 1 | -2/+2 | |
* | More RVFI bugfixes | Clifford Wolf | 2016-11-27 | 1 | -7/+18 | |
* | Minor RVFI bugfix | Clifford Wolf | 2016-11-24 | 1 | -1/+1 | |
* | Added RISC-V Formal Interfcae (RVFI) | Clifford Wolf | 2016-11-23 | 2 | -2/+76 | |
* | Another bugfix regarding compressed ISA and unaligned insns | Clifford Wolf | 2016-11-18 | 1 | -2/+2 | |
* | 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 | |
* | Improved README | Clifford Wolf | 2016-10-23 | 1 | -2/+4 | |
* | Added smtbmc axicheck2, improved axicheck | Clifford Wolf | 2016-10-01 | 6 | -20/+207 | |
* | Added smtbmc axicheck | Clifford Wolf | 2016-09-30 | 3 | -0/+201 | |
* | Fixed the nontrivial compressed ISA bug found by tracecmp2 | Clifford Wolf | 2016-09-16 | 1 | -3/+15 | |
* | Just COMPRESSED_ISA is enough to trigger the bug | Clifford Wolf | 2016-09-14 | 1 | -2/+2 | |
* | More fixes related to assertpmux checks | Clifford Wolf | 2016-09-13 | 1 | -2/+9 | |
* | Added more asserts for the memory interface | Clifford Wolf | 2016-09-13 | 2 | -3/+36 | |
* | 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 #21 from wallclimber21/mem_wdata | Clifford Wolf | 2016-09-08 | 1 | -1/+3 | |
|\ | ||||||
| * | Fix tabs | Tom Verbeure | 2016-09-07 | 1 | -2/+2 | |
| * | Only clock mem_wdata when necessary | Tom Verbeure | 2016-09-07 | 1 | -1/+3 | |
* | | Using assertpmux in "make check" | Clifford Wolf | 2016-09-07 | 2 | -2/+29 | |
* | | Two minor bugfixes | Clifford Wolf | 2016-09-06 | 1 | -2/+2 | |
* | | Added misisng MUL_CLKGATE stage | Clifford Wolf | 2016-09-06 | 1 | -4/+3 | |
* | | Added picorv32_pcpi_fast_mul MUL_CLKGATE | Clifford Wolf | 2016-09-05 | 1 | -4/+9 | |
* | | More picorv32_pcpi_mul timing improvements | Clifford Wolf | 2016-09-04 | 1 | -7/+12 | |
* | | Added optional FFs to picorv32_pcpi_fast_mul | Clifford Wolf | 2016-09-04 | 1 | -16/+24 | |
* | | Renamed testbench_slow_mem to testbench_nola (no look ahead) | Clifford Wolf | 2016-09-04 | 3 | -7/+11 | |
* | | Cleanups in dhrystone/testbench_slow_mem.v, added results to README | Clifford Wolf | 2016-09-04 | 2 | -24/+6 | |
* | | Merge pull request #19 from wallclimber21/dhrystone_slow | Clifford Wolf | 2016-09-04 | 2 | -1/+122 | |
|\ \ | ||||||
| * | | Fix tabs | Tom Verbeure | 2016-09-03 | 1 | -29/+29 | |
| * | | testbench_slow_mem | Tom Verbeure | 2016-09-02 | 2 | -1/+122 | |
| |/ | ||||||
* | | Added generic "make check-<solver>" rule | Clifford Wolf | 2016-09-03 | 1 | -7/+5 | |
* | | Minor bugfix/cleanup (mostly for formal verification) | Clifford Wolf | 2016-09-03 | 1 | -1/+1 | |
|/ | ||||||
* | Merge pull request #18 from wallclimber21/quartus | Clifford Wolf | 2016-08-31 | 20 | -0/+680 | |
|\ | ||||||
| * | 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 | |
* | | Moved cpuregs read/write to extra always blocks | Clifford Wolf | 2016-08-31 | 1 | -45/+79 | |
* | | Be more explicit about single register file write port | Clifford Wolf | 2016-08-31 | 1 | -4/+16 |