An analysis of ATPG and SAT algorithms for formal verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganapathy Parthasarathy, Chung-Yang Huang, Kwang-Ting Cheng. An analysis of ATPG and SAT algorithms for formal verification. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 177-182, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'Ganapathy Parthasarathy' in GoogleThis author has not been identified. Look up 'Chung-Yang Huang' in GoogleThis author has not been identified. Look up 'Kwang-Ting Cheng' in Google

runs on WebDSL