Hardware
/
picorv32
mirror of https://github.com/YosysHQ/picorv32.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
366 Commits 2 Branches 1 Tag 2.8 MiB
Commit Graph

366 Commits

Author SHA1 Message Date
Clifford Wolf 28fe45ffe9 Added more asserts to picorv32, more smtbmc examples 2016-08-29 17:23:00 +02:00
Clifford Wolf 72158ba4a5 Some minor cleanups 2016-08-26 23:56:04 +02:00
Clifford Wolf d1d3c3c5e1 Added next gen yosys-smtbmc verification scripts 2016-08-26 23:39:39 +02:00
Clifford Wolf 98d248d2c2 Finalized tracer support 2016-08-26 14:54:27 +02:00
Clifford Wolf 7094e61af7 Added tracer support (under construction) 2016-08-25 14:15:42 +02:00
Clifford Wolf 8043c90a04 Added REGS_INIT_ZERO parameter 2016-08-24 15:20:23 +02:00
Clifford Wolf bec8d6a6b9 Fixed "make check" for new yosys-smtbmc cmdline 2016-08-20 19:18:49 +02:00
Clifford Wolf 3e4fe5811c Some minor README changes 2016-08-20 19:04:30 +02:00
Clifford Wolf 22d73aafed Updated riscv-gnu-toolchain to git rev 7e48594 2016-08-17 01:06:10 +02:00
Clifford Wolf f9da3f2ce8 Minor fixes in scripts/icestorm/ 2016-07-14 09:07:52 +02:00
Clifford Wolf 288a043aca Fixed use-before-declaration problem with VCS 2016-06-09 11:57:23 +02:00
Clifford Wolf b99610fee3 Using newlib libc from riscv-tools in dhrystone benchmark 2016-06-07 17:09:26 +02:00
Clifford Wolf bf062e39ac Added STACKADDR parameter 2016-06-07 17:05:02 +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 490a734519 Encode in q0 LSB if interrupted instruction is compressed 2016-06-01 12:39:00 +02:00
Clifford Wolf fd18475e23 Do not wait for PCPI core when handling SCALL and SBREAK 2016-06-01 11:57:04 +02:00
Steve Kerrison 38d51a3383 Deassert pcpi_valid upon asserting sbreak IRQ 
This fixes #8
 2016-05-31 19:54:16 +01:00
Clifford Wolf d72b25993c Fixed irq.c instr decoder for compressed isa 2016-05-31 16:57:45 +02:00
Clifford Wolf 30e815d104 Updated riscv-gnu-toolchain version to git rev 13f52d2 (2016-05-31) 2016-05-31 16:21:24 +02:00
Clifford Wolf 614164aabc Added mem timing variations to scripts/csmith/ testbench 2016-05-07 22:13:18 +02:00
Clifford Wolf 8e91b1749e Fixed typo in testbench.v, closes #6 2016-05-06 15:55:36 +02:00
Clifford Wolf b2bcf143cb Now using a truly minimalist syscalls.c 2016-05-05 15:13:48 +02:00
Clifford Wolf a0d63ea588 Updated Dhrystone results (got ~1% worse with new gcc) 2016-05-05 12:45:28 +02:00
Clifford Wolf 88299374cf Updated riscv-gnu-toolchain to 34db4e0 (now using gcc 6.1.0) 2016-05-05 12:06:29 +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 c2c3978db2 Improvements in dhrystone "make timing" 2016-04-14 00:50:26 +02:00
Clifford Wolf 63c28e4389 Update dbg_ signals synchronous to the actual launch of the new insn 2016-04-14 00:50:18 +02:00
Clifford Wolf 323d77ba5d Fixed "make timing" in dhrystone/ 2016-04-13 19:52:52 +02:00
Clifford Wolf fd6e52adb0 "xori" is sometimes disassembled as "not" (with -1 imm) 2016-04-13 17:30:09 +02:00
Clifford Wolf fb3178c4b7 Fixed dbg_ signals: no latches (formal verification doesn't like latches) 2016-04-13 17:29:33 +02:00
Clifford Wolf 6a7ed87d1a Added asmcheck to scripts/torture/ 2016-04-13 16:56:29 +02:00
Clifford Wolf 8d0c9d5b50 Fixed speed stats copy&paste error 2016-04-13 15:58:08 +02:00
Clifford Wolf 9db6d8fd7e Added batch size parameter for torture test 2016-04-13 15:30:27 +02:00
Clifford Wolf a9ed992078 Updated area stats 2016-04-13 15:30:11 +02:00
Clifford Wolf 436f162951 Minor change in DEBUGASM output 2016-04-13 15:30:02 +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 262a9085bb Streamlined debug signals 2016-04-13 13:49:40 +02:00
Clifford Wolf 49aef71641 Some area improvements 2016-04-13 12:27:00 +02:00
Clifford Wolf 435232eb85 Use ifdef instead of generate if so we don't confuse Vivado 2016-04-13 12:21:47 +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