Architecture verification of the SoCWire NoC approach for safe dynamic partial reconfiguration in space applications | IEEE Conference Publication | IEEE Xplore