[cliffordvienna]

There is no 4K die. The 4K chips are using 8K dies, the lattice software limits the number of usable LUTs to 4K. IceStorm will give you access to all 8K LUTs in the device.

[cottonseed]

I didn't realize that. Thanks for clarifying, Clifford!