Clifford Wolf
|
7fc2cbd72a
|
More RVFI bugfixes
|
2016-11-27 13:46:43 +01:00 |
|
Clifford Wolf
|
fd38f876e1
|
Minor RVFI bugfix
|
2016-11-24 15:23:33 +01:00 |
|
Clifford Wolf
|
117586ff19
|
Added RISC-V Formal Interfcae (RVFI)
|
2016-11-23 03:02:02 +01:00 |
|
Clifford Wolf
|
f82af97595
|
Another bugfix regarding compressed ISA and unaligned insns
|
2016-11-18 15:36:59 +01:00 |
|
Clifford Wolf
|
bc47b91260
|
Added tracecmp3 smtbmc script
|
2016-11-16 16:58:51 +01:00 |
|
Clifford Wolf
|
63af54702c
|
Improved tomthumbtestgen
|
2016-10-24 16:53:34 +02:00 |
|
Clifford Wolf
|
f79c8344fe
|
Added scripts/tomthumbtestgen
|
2016-10-23 14:32:26 +02:00 |
|
Clifford Wolf
|
3ebf325c96
|
Improved README
|
2016-10-23 11:14:40 +02: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
|
4101cfe810
|
Fixed the nontrivial compressed ISA bug found by tracecmp2
|
2016-09-16 13:15:21 +02:00 |
|
Clifford Wolf
|
197b6ffe2b
|
Just COMPRESSED_ISA is enough to trigger the bug
|
2016-09-14 10:51:09 +02:00 |
|
Clifford Wolf
|
c209c016b3
|
More fixes related to assertpmux checks
|
2016-09-13 23:21:31 +02:00 |
|
Clifford Wolf
|
5bea3f9917
|
Added more asserts for the memory interface
|
2016-09-13 19:34:14 +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
|
2f3e3a6910
|
Merge pull request #21 from wallclimber21/mem_wdata
Only clock mem_wdata when necesssary
|
2016-09-08 09:42:51 +02:00 |
Tom Verbeure
|
38a760daf8
|
Fix tabs
|
2016-09-07 20:34:28 -07:00 |
|
Tom Verbeure
|
80aa70ec2e
|
Only clock mem_wdata when necessary
|
2016-09-07 20:32:32 -07:00 |
|
Clifford Wolf
|
44d6feba2a
|
Using assertpmux in "make check"
|
2016-09-07 12:40:19 +02:00 |
|
Clifford Wolf
|
da37498191
|
Two minor bugfixes
|
2016-09-06 19:58:03 +02:00 |
|
Clifford Wolf
|
7f946d0f84
|
Added misisng MUL_CLKGATE stage
|
2016-09-06 01:02:12 +02:00 |
|
Clifford Wolf
|
5fdee952c9
|
Added picorv32_pcpi_fast_mul MUL_CLKGATE
|
2016-09-05 22:37:52 +02:00 |
|
Clifford Wolf
|
e45cc362a7
|
More picorv32_pcpi_mul timing improvements
|
2016-09-04 18:34:11 +02:00 |
|
Clifford Wolf
|
e91c1422a2
|
Added optional FFs to picorv32_pcpi_fast_mul
|
2016-09-04 12:44:12 +02:00 |
|
Clifford Wolf
|
85d8401c3d
|
Renamed testbench_slow_mem to testbench_nola (no look ahead)
|
2016-09-04 12:29:09 +02:00 |
|
Clifford Wolf
|
e403c950b0
|
Cleanups in dhrystone/testbench_slow_mem.v, added results to README
|
2016-09-04 12:25:23 +02:00 |
|
Clifford Wolf
|
990f876a5b
|
Merge pull request #19 from wallclimber21/dhrystone_slow
dhrystone with registered memory
|
2016-09-04 12:09:57 +02:00 |
|
Tom Verbeure
|
029b72fecc
|
Fix tabs
|
2016-09-03 08:30:16 -07:00 |
|
Clifford Wolf
|
8bfd7c166b
|
Added generic "make check-<solver>" rule
|
2016-09-03 15:16:24 +02:00 |
|
Clifford Wolf
|
d5b7e9e175
|
Minor bugfix/cleanup (mostly for formal verification)
|
2016-09-03 14:40:13 +02:00 |
|
Tom Verbeure
|
c0d1c55106
|
testbench_slow_mem
|
2016-09-02 22:16:59 -07:00 |
|
Clifford Wolf
|
0906b1b4b4
|
Merge pull request #18 from wallclimber21/quartus
./scripts/quartus
|
2016-08-31 17:21:23 +02:00 |
|
Tom Verbeure
|
35b0a592e2
|
Delete unusused file
|
2016-08-31 07:36:32 -07:00 |
|
Clifford Wolf
|
c9519df01b
|
Moved cpuregs read/write to extra always blocks
|
2016-08-31 11:50:07 +02:00 |
|
Tom Verbeure
|
41918ee265
|
synth_speed
|
2016-08-30 23:02:31 -07:00 |
|
Tom Verbeure
|
91deccd3a1
|
Don't delete non-existing files
|
2016-08-30 22:56:31 -07:00 |
|
Tom Verbeure
|
e7f5d640ca
|
synth_system
|
2016-08-30 22:54:14 -07:00 |
|
Tom Verbeure
|
209456a6c8
|
synth_area_large and synth_area_regular
|
2016-08-30 22:36:06 -07:00 |
|
Tom Verbeure
|
36152a5688
|
Make synth_area_small work
|
2016-08-30 22:24:48 -07:00 |
|
Tom Verbeure
|
29e90e4dff
|
Add QUARTUS_BIN prefix
|
2016-08-30 22:23:50 -07:00 |
|
Clifford Wolf
|
82d837bf96
|
Be more explicit about single register file write port
|
2016-08-31 00:08:33 +02:00 |
|
Tom Verbeure
|
413a65e39a
|
Increase countdown by 1
|
2016-08-30 08:08:10 -07:00 |
|
Clifford Wolf
|
12c218c1b3
|
Using new yosys write_smt2 cmdline
|
2016-08-30 14:37:21 +02:00 |
|
Clifford Wolf
|
8710809978
|
Using new yosys write_smt2 cmdline
|
2016-08-30 12:44:03 +02:00 |
|
Clifford Wolf
|
6af226a385
|
Using fast mul in dhrystone benchmark
|
2016-08-30 11:24:04 +02:00 |
|
Tom Verbeure
|
dc9b100814
|
Dhrystone: Add toolchain prefix to objcopy
|
2016-08-30 11:20:11 +02:00 |
|
Clifford Wolf
|
2603ca492b
|
Merged picorv32_pcpi_fast_mul changes
|
2016-08-30 11:16:19 +02:00 |
|
Clifford Wolf
|
bfba9b3eb3
|
Bugfix in picorv32_pcpi_fast_mul
|
2016-08-30 11:14:46 +02:00 |
|
Clifford Wolf
|
b9ed4364d4
|
Merge branch 'fast_mul_opt' of https://github.com/wallclimber21/picorv32
|
2016-08-30 11:12:42 +02:00 |