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 

About

PicoRV

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

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