Lynn C.-L. Chang, Charles H.-P. Wen. Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking. In Ninth International Workshop on Microprocessor Test and Verification, MTV 2008, Austin, Texas, USA, 8-10 December 2008. pages 33-38, IEEE Computer Society, 2008. [doi]
No reviews for this publication, yet.