aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #18 from wallclimber21/quartusClifford Wolf2016-08-3120-0/+680
|\
| * Delete unusused fileTom Verbeure2016-08-311-8/+0
| * synth_speedTom Verbeure2016-08-303-13/+6
| * Don't delete non-existing filesTom Verbeure2016-08-301-2/+2
| * synth_systemTom Verbeure2016-08-305-36/+9
| * synth_area_large and synth_area_regularTom Verbeure2016-08-306-22/+15
| * Make synth_area_small workTom Verbeure2016-08-305-20/+16
| * Add QUARTUS_BIN prefixTom Verbeure2016-08-301-3/+3
| * Increase countdown by 1Tom Verbeure2016-08-301-1/+1
| * table.txt generation worksTom Verbeure2016-08-293-27/+27
| * Checkpoint: map, fitTom Verbeure2016-08-292-37/+19
| * Make sim_system workTom Verbeure2016-08-292-20/+10
| * Clone vivado dir into quartus dirTom Verbeure2016-08-2920-0/+761
* | Moved cpuregs read/write to extra always blocksClifford Wolf2016-08-311-45/+79
* | 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
| | |\ | |_|/ |/| |
| * | 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
* 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