Since there is no way to supply a netlist in FIJI EE it cannot verify anything
related to the netlist, e.g. external port names. However, they are more
or less moot anyway during download because we rely on the design ID
to detect any mismatches between the (actually downloaded) netlist
and the configuration.