Skip to content

YanekJ/picorv

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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

Releases

No releases published

Packages

No packages published

Languages

  • C 47.7%
  • Coq 23.4%
  • Python 9.7%
  • Verilog 8.4%
  • SystemVerilog 7.5%
  • Makefile 1.9%
  • Other 1.4%