aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Only clock mem_wdata when necessaryTom Verbeure2016-09-071-1/+3
|
* Merge pull request #18 from wallclimber21/quartusClifford Wolf2016-08-3120-0/+680
|\ | | | | ./scripts/quartus
| * 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
| | |\ | |_|/ |/| | 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
|