Verification tool to check Lattice iCE40 FPGA device bitstreams for potentially malicious logic.

Includes a modified version of the Yosys open synthesis suite and the icestorm tools for iCE40 bitstream reversal.

The iCEcube2 toolchain is additionally required.

Please see respective source files. For project overviews see:

yosys/README.md

icestorm/README

verify.py

The respective licenses can be found in the source file headers.

Thanks to Sascha Rapp for an initial version of this work.