picorv32/scripts/presyn
..
.gitignore
firmware.c
firmware.lds
firmware.S
Makefile
picorv32_presyn.ys
picorv32_regs.txt
README
testbench.v

A simple example for how to use Yosys to "pre-synthesize" PicoRV32 in
a way that can utilize an external memory module for the register file.

See also:
https://github.com/cliffordwolf/picorv32/issues/30