Next-generation FPGA SoC toolkit
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Harry Ho 2cb3484e33 update nmigen-boards 1 year ago
compilers use nixpkgs 19.03 1 year ago
cores upgrade nix scripts & example codes to use nmigen-v0.1rc1 (#1) 1 year ago
eda update nmigen-boards 1 year ago
examples upgrade nix scripts & example codes to use nmigen-v0.1rc1 (#1) 1 year ago
firmware firmware: prevent Nix from corrupting output ELF 1 year ago
heavycomps add wishbone components 1 year ago
.gitignore add nix-build results to .gitignore 1 year ago use nixpkgs 19.03 1 year ago
default.nix use nmigen build system, upstream yosys, reorganize 1 year ago
heavycomps.nix add component library with UART 1 year ago
overlay.nix fix styling 1 year ago
release.nix use nixpkgs 19.03 1 year ago
shell.nix fix styling 1 year ago


A FPGA SoC framework embracing cutting-edge open source technologies (nMigen, Yosys, SymbiFlow, Minerva, Nix, Rust).

This is work in progress!

"Hello World" SoC demo

Softcore system-on-chip on the Lattice ECP5 Versa board, built with a 100% Verilog/VHDL-free and 100% open source toolchain.

  • Everything written in nMigen (
  • RISC-V 32-bit pipelined core (Minerva by Lambdaconcept).
  • 100MHz clock frequency.
  • Runs a Rust "hello world" program.

Use nixpkgs 19.03. If you are unfamiliar with Nix and just installed it on another (non-NixOS) distribution, simply run:

$ nix-channel --remove nixpkgs
$ nix-channel --add nixpkgs
$ nix-channel --update

Optional: set up the M-Labs key and binary substituter for Nix (otherwise Nix will recompile LLVM, rustc, etc. on your machine). Create the file ~/.config/nix/nix.conf with the following contents:

substituters =
trusted-public-keys =

Run nix-build -A simplesoc_ecp5 release.nix

You can also build manually and use your distribution's packages, but YMMV.

Bypass the ispCLOCK device using the jumpers on your board.

Create a versa.cfg file with:

interface ftdi
ftdi_vid_pid 0x0403 0x6010
ftdi_channel 0
ftdi_layout_init 0xfff8 0xfffb
reset_config none
adapter_khz 5000
jtag newtap ecp5 tap -irlen 8 -expected-id 0x01112043

Load the bitstream openocd -f versa.cfg -c "transport select jtag; init; svf result/top.svf; exit".

Watch the UART output at 115200bps.

Questions, comments: or IRC #m-labs on Freenode.