A Markov chain-based yield formula for VLSI fault-tolerant chips | IEEE Journals & Magazine | IEEE Xplore