aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | Be more explicit about single register file write portClifford Wolf2016-08-311-4/+16
| |
* | Using new yosys write_smt2 cmdlineClifford Wolf2016-08-301-1/+1
| |
* | Using new yosys write_smt2 cmdlineClifford Wolf2016-08-303-5/+5
| |
* | Using fast mul in dhrystone benchmarkClifford Wolf2016-08-302-4/+3
| |
* | Dhrystone: Add toolchain prefix to objcopyTom Verbeure2016-08-302-1/+2
| |
* | Merged picorv32_pcpi_fast_mul changesClifford Wolf2016-08-304-3/+110
|\ \
| * | Bugfix in picorv32_pcpi_fast_mulClifford Wolf2016-08-301-1/+1
| | |
| * | Merge branch 'fast_mul_opt' of https://github.com/wallclimber21/picorv32Clifford Wolf2016-08-301-1/+2
| |\ \
| | * | Reduce rs1, rs2 from 64 to 33 bits to make life for synthesis tools easier.Tom Verbeure2016-08-291-1/+2
| | |/
| | * Merge pull request #1 from cliffordwolf/masterJohn2016-08-2910-67/+386
| | |\ | |_|/ |/| | Move forward to latest official version
| * | Minor fixes/cleanups in mul reset logicClifford Wolf2016-08-304-1/+107
|/ /
* | Added picorv32_pcpi_fast_mul coreClifford Wolf2016-08-292-12/+104
| |
* | Fixed bug in test firmware IRQ handlingClifford Wolf2016-08-291-1/+1
| |
* | More assertsClifford Wolf2016-08-291-0/+9
| |
* | Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-298-54/+272
|/
* Some minor cleanupsClifford Wolf2016-08-261-12/+10
|
* Added next gen yosys-smtbmc verification scriptsClifford Wolf2016-08-266-2/+212
|
* Finalized tracer supportClifford Wolf2016-08-265-10/+34
|
* Added tracer support (under construction)Clifford Wolf2016-08-256-14/+157
|
* Added REGS_INIT_ZERO parameterClifford Wolf2016-08-242-0/+16
|
* Fixed "make check" for new yosys-smtbmc cmdlineClifford Wolf2016-08-201-2/+2
|
* Some minor README changesClifford Wolf2016-08-201-6/+5
|
* Updated riscv-gnu-toolchain to git rev 7e48594Clifford Wolf2016-08-172-13/+26
|
* Minor fixes in scripts/icestorm/Clifford Wolf2016-07-142-11/+11
|
* Fixed use-before-declaration problem with VCSClifford Wolf2016-06-091-2/+5
|
* Using newlib libc from riscv-tools in dhrystone benchmarkClifford Wolf2016-06-077-229/+264
|
* Added STACKADDR parameterClifford Wolf2016-06-072-1/+15
|
* RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"Clifford Wolf2016-06-0615-44/+44
|
* Encode in q0 LSB if interrupted instruction is compressedClifford Wolf2016-06-013-16/+35
|
* Do not wait for PCPI core when handling SCALL and SBREAKClifford Wolf2016-06-011-6/+6
|
* Deassert pcpi_valid upon asserting sbreak IRQSteve Kerrison2016-05-311-0/+2
| | | | This fixes #8
* Fixed irq.c instr decoder for compressed isaClifford Wolf2016-05-311-3/+15
|
* Updated riscv-gnu-toolchain version to git rev 13f52d2 (2016-05-31)Clifford Wolf2016-05-312-11/+11
|
* Added mem timing variations to scripts/csmith/ testbenchClifford Wolf2016-05-071-9/+24
|
* Fixed typo in testbench.v, closes #6Clifford Wolf2016-05-061-1/+1
|
* Now using a truly minimalist syscalls.cClifford Wolf2016-05-052-844/+96
|
* Updated Dhrystone results (got ~1% worse with new gcc)Clifford Wolf2016-05-051-2/+2
|
* Updated riscv-gnu-toolchain to 34db4e0 (now using gcc 6.1.0)Clifford Wolf2016-05-052-4/+4
|
* Improvements in scripts/csmith/Clifford Wolf2016-05-054-61/+77
|
* Added scripts/csmith/ verilator supportClifford Wolf2016-05-044-12/+68
|
* Improved "make spike" in scripts/csmith/Clifford Wolf2016-05-041-5/+7
|
* Added console out to csmith spikeClifford Wolf2016-05-042-0/+15
|
* Using .vvp instead of .exe for iverilog executablesClifford Wolf2016-05-048-77/+76
|
* Added scripts/csmith/ spike supportClifford Wolf2016-05-046-21/+69
|
* Fixed SP init in scripts/{csmith,cxxdemo}/Clifford Wolf2016-05-042-4/+12
|
* Added scripts/csmith/Clifford Wolf2016-05-036-0/+642
|
* Updated stats for Vivado 2016.1Clifford Wolf2016-04-202-15/+15
|
* Improvements in dhrystone "make timing"Clifford Wolf2016-04-142-4/+7
|
* Update dbg_ signals synchronous to the actual launch of the new insnClifford Wolf2016-04-141-32/+73
|
* Fixed "make timing" in dhrystone/Clifford Wolf2016-04-131-2/+3
|
generated by cgit (git 2.34.1) at 2024-07-08 09:27:40 +0000