SEESIM-a fast synchronous sequential circuit fault simulator with single event equivalence | IEEE Conference Publication | IEEE Xplore