Practical use of sequential ATPG for model checking: going the extra mile does pay off - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael S. Hsiao, Jawahar Jain. Practical use of sequential ATPG for model checking: going the extra mile does pay off. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 39-44, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'Michael S. Hsiao' in GoogleThis author has not been identified. Look up 'Jawahar Jain' in Google

runs on WebDSL