Clifford Wolf
|
c7cc32ed95
|
Fix verilog code for modelsim
|
2017-02-17 15:23:58 +01:00 |
|
Clifford Wolf
|
e4312b0fab
|
Fix "mem_xfer is used before its declaration" warning
|
2017-02-11 12:52:18 +01:00 |
|
Clifford Wolf
|
42b4397390
|
Add scripts/presyn/ example
|
2017-02-09 15:15:46 +01:00 |
|
Clifford Wolf
|
a2107ed4ff
|
Rename RVFI ports
|
2017-01-27 16:12:02 +01:00 |
|
Clifford Wolf
|
e9b6bcf9c0
|
Fix README toolchain build instructions
|
2017-01-16 13:14:28 +01:00 |
|
Clifford Wolf
|
f975ce1e45
|
Fix picorv32_axi STACKADDR default value
|
2017-01-15 20:34:19 +01:00 |
|
Clifford Wolf
|
3d090cbd26
|
Merge pull request #28 from GuzTech/master
Add STACKADDR parameter to picorv32_axi module
|
2017-01-15 20:33:25 +01:00 |
|
Clifford Wolf
|
6f866fc1c8
|
Merge branch 'riscv-gnu-toolchain-update'
|
2017-01-15 16:57:22 +01:00 |
Oguz Meteer
|
510d4de1b1
|
Add STACKADDR parameter to picorv32_axi module
Signed-off-by: Oguz Meteer <info@guztech.nl>
|
2017-01-15 14:49:01 +01:00 |
|
Clifford Wolf
|
70f3c33ac8
|
Add newlib linker info to README file
|
2017-01-15 14:38:27 +01:00 |
|
Clifford Wolf
|
4e6cad88bc
|
Added riscv.ld linker script (static entry point at 0x10000)
|
2017-01-13 17:04:22 +01:00 |
|
Clifford Wolf
|
8e5deeb0cb
|
Update riscv-gnu-toolchain to git rev 914224e
|
2017-01-13 17:02:56 +01:00 |
|
Clifford Wolf
|
f5d146c2f1
|
Added rvfi_mem interface
|
2016-12-20 11:49:09 +01:00 |
|
Clifford Wolf
|
55da6c7cd1
|
Some build fixes for new riscv-gnu-toolchain
|
2016-12-17 13:00:30 +01:00 |
|
Clifford Wolf
|
56dc5b3549
|
Improved "git cherry-pick" for riscv-binutils-gdb a5971eca338
|
2016-12-17 10:06:03 +01:00 |
|
Clifford Wolf
|
62c7b96b1c
|
Updated riscv-gnu-toolchain to git rev 34e199d + riscv-binutils-gdb commit a5971eca338
|
2016-12-17 09:51:10 +01:00 |
|
Clifford Wolf
|
b8cecc9148
|
Updated riscv-gnu-toolchain to git rev e3e50c5
|
2016-12-15 14:43:21 +01:00 |
|
Clifford Wolf
|
92df4b35ee
|
Merge branch 'master' into riscv-gnu-toolchain-update
|
2016-12-15 14:23:20 +01:00 |
|
Clifford Wolf
|
ef86b30b25
|
Fixed some linter warnings in picorv32.v
|
2016-12-15 14:03:27 +01:00 |
|
Clifford Wolf
|
0bea8428f3
|
Suppress iverilog warnings re parameters in "make test_synth"
|
2016-12-15 13:11:26 +01:00 |
|
Clifford Wolf
|
ca5702c75f
|
Fixed "make test_synth"
|
2016-12-15 13:11:26 +01:00 |
|
Clifford Wolf
|
72d6f6f72d
|
Added rvfi_post_trap
|
2016-12-13 17:13:53 +01:00 |
|
Clifford Wolf
|
9d873cac92
|
Minor changes and build fixes for new riscv-gnu-toolchain
|
2016-12-10 12:09:15 +01:00 |
|
Clifford Wolf
|
f29376ac22
|
assembler support for custom0 is deprecated, using cpp macros now
|
2016-12-09 14:48:37 +01:00 |
|
Clifford Wolf
|
b8af714546
|
Added RISCV_GNU_TOOLCHAIN_INSTALL_PREFIX Makefile variable
|
2016-12-09 11:47:05 +01:00 |
|
Clifford Wolf
|
f6b009c4c9
|
Updated riscv-gnu-toolchain
|
2016-12-08 14:09:09 +01:00 |
|
Clifford Wolf
|
9d6fdda1fa
|
Added cpu?_trap signals to tracecmp3.v
|
2016-12-03 12:48:00 +01:00 |
|
Clifford Wolf
|
9c494af6e1
|
Removed old scripts/smt2-bmc/
|
2016-12-03 12:28:36 +01:00 |
|
Clifford Wolf
|
54a8e4b311
|
Fixed catching jumps to misaligned insn
|
2016-11-29 18:36:05 +01:00 |
|
Clifford Wolf
|
17c7da49f4
|
Renamed rvfi_opcode to rvfi_insn
|
2016-11-28 14:56:29 +01:00 |
|
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 |