Modeling, evaluation and mitigation of SEU error in three-dimensional FPGAs | IEEE Conference Publication | IEEE Xplore