Modeling of single event pulse with verilog A: Implementation and application | IEEE Conference Publication | IEEE Xplore