Lattice iCE40 FPGAs Bitstream Documentation and tools
