MURLAV: A Multiple-Node-Upset Recovery Latch and Algorithm-Based Verification Method | IEEE Journals & Magazine | IEEE Xplore