A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
Presentation Slides (32C3 Version)
Presentation Slides (PDF)
Presentation Slides (ODP)
Presentation Slides (FOSDEM 2016 Version)
Presentation Slides (PDF)
Presentation Slides (ODP)
Links
Project IceStorm
Yosys
Arachne-pnr
IcoBoard
IcoProg
c3demo
PicoRV32
Formal Verification Example Files
smtdemo.smt2
example.v
example.sh
example.smt2
Videos
Recording from 32C3 -- YouTube
Recording from 32C3 -- media.ccc.de
Recording from FOSDEM 2016