About this scholarly article

2008 Ninth International Workshop on Microprocessor Test and Verification - Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking by Chang, Lynn C.-L.; Wen, Charles H.-P. is a scholarly article available to read on EtoBox.

Author

Chang, Lynn C.-L.; Wen, Charles H.-P.

Publisher

IEEE

Published

2008