Effective safety property checking using simulation-based sequential ATPG - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shuo Sheng, Koichiro Takayama, Michael S. Hsiao. Effective safety property checking using simulation-based sequential ATPG. In Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002. pages 813-818, ACM, 2002. [doi]

This author has not been identified. Look up 'Shuo Sheng' in GoogleThis author has not been identified. Look up 'Koichiro Takayama' in GoogleThis author has not been identified. Look up 'Michael S. Hsiao' in Google

runs on WebDSL