Hardware/picorv32
1
0
Fork 0
mirror of https://github.com/YosysHQ/picorv32.git synced 2025-01-03 03:43:38 -05:00
Code Issues Projects Releases Packages Wiki Activity
360 commits 2 branches 1 tag 2.8 MiB
Commit graph

125 commits

Author SHA1 Message Date
Clifford Wolf
42b4397390 Add scripts/presyn/ example 2017-02-09 15:15:46 +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
ca5702c75f Fixed "make test_synth" 2016-12-15 13:11:26 +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
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
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
197b6ffe2b Just COMPRESSED_ISA is enough to trigger the bug 2016-09-14 10:51:09 +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
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
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
Tom Verbeure
413a65e39a Increase countdown by 1 2016-08-30 08:08:10 -07:00
Clifford Wolf
8710809978 Using new yosys write_smt2 cmdline 2016-08-30 12:44:03 +02:00
Clifford Wolf
cefe09b8d4 Minor fixes/cleanups in mul reset logic 2016-08-30 11:12:16 +02:00
Tom Verbeure
248560c18d table.txt generation works 2016-08-29 23:22:53 -07:00
Tom Verbeure
71a46afa79 Checkpoint: map, fit 2016-08-29 22:14:39 -07:00
Tom Verbeure
c96ed77c4d Make sim_system work 2016-08-29 21:37:29 -07:00
Tom Verbeure
7bf87502aa Clone vivado dir into quartus dir 2016-08-29 21:12:08 -07:00
Clifford Wolf
28fe45ffe9 Added more asserts to picorv32, more smtbmc examples 2016-08-29 17:23:00 +02:00
Clifford Wolf
d1d3c3c5e1 Added next gen yosys-smtbmc verification scripts 2016-08-26 23:39:39 +02:00
Clifford Wolf
f9da3f2ce8 Minor fixes in scripts/icestorm/ 2016-07-14 09:07:52 +02:00
Clifford Wolf
f4bb91b060 RISC-V ISA 2.1 now calls "sbreak" officially "ebreak" 2016-06-06 10:46:52 +02:00
Clifford Wolf
614164aabc Added mem timing variations to scripts/csmith/ testbench 2016-05-07 22:13:18 +02:00
Clifford Wolf
b2bcf143cb Now using a truly minimalist syscalls.c 2016-05-05 15:13:48 +02:00
Clifford Wolf
264a239a28 Improvements in scripts/csmith/ 2016-05-05 02:00:26 +02:00
Clifford Wolf
211fb521a8 Added scripts/csmith/ verilator support 2016-05-04 13:34:32 +02:00
Clifford Wolf
96831d720f Improved "make spike" in scripts/csmith/ 2016-05-04 10:34:56 +02:00
Clifford Wolf
f4e42de247 Added console out to csmith spike 2016-05-04 09:10:58 +02:00
Clifford Wolf
6c69b3812e Using .vvp instead of .exe for iverilog executables 2016-05-04 08:57:16 +02:00
Clifford Wolf
84bd9e9b88 Added scripts/csmith/ spike support 2016-05-04 01:21:39 +02:00
Clifford Wolf
133befd278 Fixed SP init in scripts/{csmith,cxxdemo}/ 2016-05-04 00:43:08 +02:00
Clifford Wolf
3192555374 Added scripts/csmith/ 2016-05-03 16:53:22 +02:00
Clifford Wolf
76f30e4810 Updated stats for Vivado 2016.1 2016-04-20 11:38:13 +02:00
Clifford Wolf
fd6e52adb0 "xori" is sometimes disassembled as "not" (with -1 imm) 2016-04-13 17:30:09 +02:00
Clifford Wolf
6a7ed87d1a Added asmcheck to scripts/torture/ 2016-04-13 16:56:29 +02:00
Clifford Wolf
9db6d8fd7e Added batch size parameter for torture test 2016-04-13 15:30:27 +02:00
Clifford Wolf
5ccd0bb572 Fixed scripts/vivado/table.sh output formatting 2016-04-13 15:28:09 +02:00
Clifford Wolf
faa1c1a159 Added SBREAK handling for CATCH_ILLINSN=0 2016-04-13 15:09:49 +02:00
Clifford Wolf
713725d14f Added xcku/xcvu handling to scripts/vivado/table.sh 2016-04-13 12:16:20 +02:00
Clifford Wolf
d623a718b7 Disabled CATCH_ILLINSN for torture test (needs sbreak) 2016-04-12 20:56:10 +02:00