aboutsummaryrefslogtreecommitdiffstats
path: root/picorv32.v
Commit message (Expand)AuthorAgeFilesLines
...
| * Only clock mem_wdata when necessaryTom Verbeure2016-09-071-1/+3
* | Using assertpmux in "make check"Clifford Wolf2016-09-071-1/+27
* | Two minor bugfixesClifford Wolf2016-09-061-2/+2
* | Added misisng MUL_CLKGATE stageClifford Wolf2016-09-061-4/+3
* | Added picorv32_pcpi_fast_mul MUL_CLKGATEClifford Wolf2016-09-051-4/+9
* | More picorv32_pcpi_mul timing improvementsClifford Wolf2016-09-041-7/+12
* | Added optional FFs to picorv32_pcpi_fast_mulClifford Wolf2016-09-041-16/+24
* | Minor bugfix/cleanup (mostly for formal verification)Clifford Wolf2016-09-031-1/+1
|/
* 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
* 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
* | Minor fixes/cleanups in mul reset logicClifford Wolf2016-08-301-1/+6
|/
* Added picorv32_pcpi_fast_mul coreClifford Wolf2016-08-291-5/+87
* More assertsClifford Wolf2016-08-291-0/+9
* Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-291-47/+74
* Some minor cleanupsClifford Wolf2016-08-261-12/+10
* Added next gen yosys-smtbmc verification scriptsClifford Wolf2016-08-261-2/+5
* Finalized tracer supportClifford Wolf2016-08-261-3/+3
* Added tracer support (under construction)Clifford Wolf2016-08-251-3/+47
* Added REGS_INIT_ZERO parameterClifford Wolf2016-08-241-0/+11
* Fixed use-before-declaration problem with VCSClifford Wolf2016-06-091-2/+5
* Added STACKADDR parameterClifford Wolf2016-06-071-1/+7
* RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"Clifford Wolf2016-06-061-15/+15
* Encode in q0 LSB if interrupted instruction is compressedClifford Wolf2016-06-011-3/+7
* 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
* Update dbg_ signals synchronous to the actual launch of the new insnClifford Wolf2016-04-141-32/+73
* Fixed dbg_ signals: no latches (formal verification doesn't like latches)Clifford Wolf2016-04-131-0/+21
* Minor change in DEBUGASM outputClifford Wolf2016-04-131-1/+1
* Added SBREAK handling for CATCH_ILLINSN=0Clifford Wolf2016-04-131-1/+7
* Streamlined debug signalsClifford Wolf2016-04-131-56/+87
* Some area improvementsClifford Wolf2016-04-131-5/+6
* Use ifdef instead of generate if so we don't confuse VivadoClifford Wolf2016-04-131-34/+35
* Added (by default disabled) register file access wires for debuggingClifford Wolf2016-04-121-0/+34
* Bugfix for CATCH_ILLINSN <-> WITH_PCPI interactionClifford Wolf2016-04-121-1/+1
* Added ENABLE_COUNTERS64 config parameterClifford Wolf2016-04-121-6/+13
* Added BARREL_SHIFTER config parameterClifford Wolf2016-04-121-7/+19
* Do not re-load a word to read the 16 bit opcode in the upper halfClifford Wolf2016-04-111-14/+44
* Do not load next word when loading a 16 bit opcode from the upper half of a 3...Clifford Wolf2016-04-111-4/+7
* Fixed signed division by zero handlingClifford Wolf2016-04-101-1/+1
* Added ENABLE_DIV and picorv32_pcpi_divClifford Wolf2016-04-101-3/+119
* Bugfix in memory interface (related to compressed ISA)Clifford Wolf2016-04-101-3/+3
* Bugfix in C.SRAI implementationClifford Wolf2016-04-091-1/+1
* Bugfix in C.ADDI4SPN implementationClifford Wolf2016-04-091-2/+2
* Merge branch 'master' into compressedClifford Wolf2016-02-031-1/+2
|\
| * Cleanup regarding pcpi_timeoutClifford Wolf2015-12-221-0/+1
| * Keep mem_wstrb low even when mem_valid is low anywaysClifford Wolf2015-12-221-1/+1
* | Towards compressed ISA supportClifford Wolf2015-11-201-0/+23