Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|\ | | | | | Only clock mem_wdata when necesssary | ||||
| * | 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 |
|\ \ | | | | | | | dhrystone with registered memory | ||||
| * | | 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 |
|\ | | | | | ./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 |
| | | |||||
* | | 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 |
| | | |||||
* | | Using new yosys write_smt2 cmdline | Clifford Wolf | 2016-08-30 | 1 | -1/+1 |
| | | |||||
* | | Using new yosys write_smt2 cmdline | Clifford Wolf | 2016-08-30 | 3 | -5/+5 |
| | | |||||
* | | Using fast mul in dhrystone benchmark | Clifford Wolf | 2016-08-30 | 2 | -4/+3 |
| | | |||||
* | | Dhrystone: Add toolchain prefix to objcopy | Tom Verbeure | 2016-08-30 | 2 | -1/+2 |
| | | |||||
* | | Merged picorv32_pcpi_fast_mul changes | Clifford Wolf | 2016-08-30 | 4 | -3/+110 |
|\ \ | |||||
| * | | Bugfix in picorv32_pcpi_fast_mul | Clifford Wolf | 2016-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | Merge branch 'fast_mul_opt' of https://github.com/wallclimber21/picorv32 | Clifford Wolf | 2016-08-30 | 1 | -1/+2 |
| |\ \ | |||||
| | * | | Reduce rs1, rs2 from 64 to 33 bits to make life for synthesis tools easier. | Tom Verbeure | 2016-08-29 | 1 | -1/+2 |
| | |/ | |||||
| | * | Merge pull request #1 from cliffordwolf/master | John | 2016-08-29 | 10 | -67/+386 |
| | |\ | |_|/ |/| | | Move forward to latest official version | ||||
| * | | Minor fixes/cleanups in mul reset logic | Clifford Wolf | 2016-08-30 | 4 | -1/+107 |
|/ / | |||||
* | | Added picorv32_pcpi_fast_mul core | Clifford Wolf | 2016-08-29 | 2 | -12/+104 |
| | | |||||
* | | Fixed bug in test firmware IRQ handling | Clifford Wolf | 2016-08-29 | 1 | -1/+1 |
| | | |||||
* | | More asserts | Clifford Wolf | 2016-08-29 | 1 | -0/+9 |
| | | |||||
* | | Added more asserts to picorv32, more smtbmc examples | Clifford Wolf | 2016-08-29 | 8 | -54/+272 |
|/ |