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

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]

This author has not been identified. Look up 'Carlos Ivan Castro Marquez' in GoogleThis author has not been identified. Look up 'Marius Strum' in GoogleThis author has not been identified. Look up 'Wang Jiang Chau' in Google

runs on WebDSL