Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Lynn C.-L. Chang' in GoogleThis author has not been identified. Look up 'Charles H.-P. Wen' in Google

runs on WebDSL