aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Improve PicoSoC demo firmwareClifford Wolf2017-09-185-61/+220
* Update picosoc README.mdClifford Wolf2017-09-161-4/+4
* Improve PicoSoC demo firmware (read flash ID is working now)Clifford Wolf2017-09-165-72/+138
* Removed UB from picosoc demo firmwareClifford Wolf2017-09-152-2/+7
* Merge branch 'picosoc'Clifford Wolf2017-09-1511-153/+225
|\
| * Improve PicoSoC demo firmwareClifford Wolf2017-09-152-15/+116
| * Switch PicoSoC firmware to CClifford Wolf2017-09-154-128/+67
| * Update PicoSoC hx8kdemoClifford Wolf2017-09-152-10/+40
| * Improve picosoc firmware build processClifford Wolf2017-09-153-10/+9
| * Update picosoc/hx8kdemo_tb.vClifford Wolf2017-09-151-1/+1
| * Update picosoc memory mapClifford Wolf2017-09-152-4/+7
|/
* Add "make test_rvf"Clifford Wolf2017-09-133-34/+48
* Add correct interupt handling in RVFI traceClifford Wolf2017-09-131-16/+49
* Add rvfi_halt and rvfi_intr to picorv32_axi and picorv32_wbClifford Wolf2017-09-131-0/+8
* Revert "Fix RISCV_FORMAL_BLACKBOX_REGS (broke liveness on branch ops)"Clifford Wolf2017-09-131-10/+10
* Add Cypress S25FL128L datasheet link to picosoc/spiflash.vClifford Wolf2017-09-121-0/+1
* Fix RISCV_FORMAL_BLACKBOX_REGS (broke liveness on branch ops)Clifford Wolf2017-09-121-10/+10
* Update rvfi_order according to current rvfi specClifford Wolf2017-09-051-4/+4
* Add simple UART to PicoSoCClifford Wolf2017-08-117-7/+222
* Improve and cleanup picosoc firmwareClifford Wolf2017-08-115-20/+40
* Add support for QSPI DDR mode, Add SPI MEMIO config regClifford Wolf2017-08-116-39/+170
* Add spimemio QSPI supportClifford Wolf2017-08-111-42/+134
* Fix bug in picosoc spimemio and some cleanups in hx8kdemoClifford Wolf2017-08-083-18/+29
* Major rewrite of picosoc spimemio coreClifford Wolf2017-08-075-81/+410
* Refactor picosoc flash_io interfacesClifford Wolf2017-08-075-97/+131
* Refactor picosoc codeClifford Wolf2017-08-079-171/+316
* Rename "spiflash" example to "picosoc"Clifford Wolf2017-08-0711-13/+18
* Add spiflash testbench and add support for QSPI and DDR QSPI to SPI flash sim...Clifford Wolf2017-08-054-26/+609
* Change spiflash pin interfaces to support quad SPIClifford Wolf2017-08-045-51/+156
* Improve spiflash testbench and firmwareClifford Wolf2017-07-293-22/+80
* Add prefetching to spimemioClifford Wolf2017-07-291-1/+18
* Update spiflash READMEClifford Wolf2017-07-292-18/+27
* Add spiflash example projectClifford Wolf2017-07-299-0/+454
* Update READMEClifford Wolf2017-07-291-3/+9
* Add testbench_ezClifford Wolf2017-07-274-4/+100
* Update vivado evaluationsClifford Wolf2017-07-204-39/+53
* Suppress writes to cpuregs[0] to prevent confusionClifford Wolf2017-07-141-2/+2
* Fix scripts/torture gcc callsClifford Wolf2017-07-102-2/+2
* Remove some trailing whitespaceLarry Doolittle2017-06-139-11/+11
* Add rvfi_halt and rvfi_intr portsClifford Wolf2017-06-061-0/+4
* Add RVFI to AXI and WB wrappers modules, Add RVFI monitor support to test benchClifford Wolf2017-05-273-3/+146
* Fixed jalr, c_jalr, and c_jr insns (bug discovered by riscv-formal)Clifford Wolf2017-05-181-2/+2
* Fix decoding of C.ADDI instructionClifford Wolf2017-05-131-5/+3
* Add riscv-formal alu/regs blackboxingClifford Wolf2017-05-111-0/+14
* Fix decoding of illegal/reserved opcodes as other valid opcodesClifford Wolf2017-05-071-21/+29
* Update riscv-gnu-toolchain to git rev 4e51f26Clifford Wolf2017-05-052-3/+3
* Update riscv-gnu-toolchain to git rev 0c8f87dClifford Wolf2017-04-074-13/+14
* Merge pull request #40 from open-design/20170406.wishboneClifford Wolf2017-04-072-9/+25
|\
| * testbench_wb.v: unify verbose output with axi testbenchAntony Pavlov2017-04-062-9/+25
|/
* Merge pull request #39 from open-design/20170324.wishboneClifford Wolf2017-03-241-96/+11
|\