A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models - researchr publication

researchr

You are not signed in
Sign in
Sign up

Carlos Ivan Castro Marquez, Marius Strum, Wang Jiang Chau. A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models. J. Electronic Testing, 31(3):255-273, 2015. [doi]

Abstract is missing.

runs on WebDSL