correct, and we use link to icestorm with permission from our other ice based project.

icestorm uses HX1K as main target, but porting to iceultra should be not an issue any more as almost all work is done.