The use of the iCE40 family is exciting because there's a fully open source verilog to bitstream synthesis toolchain for the iCE40HX1K.
icestorm uses HX1K as main target, but porting to iceultra should be not an issue any more as almost all work is done.