Basic mechanisms and modeling of single-event upset in digital microelectronics | Synapse