The wafer names
IOT_8b… as well as the pin number
ICE_4… can be used from the RTL by picking them from this PCF file.
For Amaranth, until this gets upstreamed, the various board resources including its pins are defined on
The FPGA pins and other signals are defined in