riscv2os / picorv

PicoRV

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PicoRV

Clean rewrite of PicoRV32, with improved flexibility and extensibility, support for RV64, and more.

Early alpha. Work in progress.

Getting Started

# Generate picorv.v
make -C source generate

# icebreaker example design
cd examples/icebreaker/

# run simulation
make

# display sim waveform
gtkwave testbench.vcd testbench.gtkw

# run synthesis
make design.bin

# compile firmware
make firmware.bin

# program icebreaker board
make prog

About

PicoRV


Languages

Language:C 47.7%Language:Coq 23.4%Language:Python 9.7%Language:Verilog 8.4%Language:SystemVerilog 7.5%Language:Makefile 1.9%Language:Assembly 1.0%Language:Tcl 0.4%