Single Event Upset Characterization of the Virtex-4 Field Programmable Gate Array Using Proton Irradiation | IEEE Conference Publication | IEEE Xplore