aboutsummaryrefslogtreecommitdiffstats
path: root/picorv32.v
Commit message (Collapse)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
| | | | This fixes #8
* 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 ↵Clifford Wolf2016-04-111-4/+7
| | | | 32bit word
* 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
|\ | | | | | | | | Conflicts: picorv32.v
| * 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
| |