An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip | IEEE Journals & Magazine | IEEE Xplore