Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications | IEEE Journals & Magazine | IEEE Xplore