Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith. Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits. In 63rd IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2020, Springfield, MA, USA, August 9-12, 2020. pages 21-24, IEEE, 2020. [doi]

This author has not been identified. Look up 'Son N. Le' in GoogleThis author has not been identified. Look up 'Sudarshan K. Srinivasan' in GoogleThis author has not been identified. Look up 'Scott C. Smith' in Google

runs on WebDSL