Speeding up SAT-Based ATPG Using Dynamic Clause Activation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephan EggersglÃ¼ÃŸ, Daniel Tille, Rolf Drechsler. Speeding up SAT-Based ATPG Using Dynamic Clause Activation. In Proceedings of the Eighteentgh Asian Test Symposium, ATS 2009, 23-26 November 2009, Taichung, Taiwan. pages 177-182, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Stephan EggersglÃ¼ÃŸ' in GoogleThis author has not been identified. Look up 'Daniel Tille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL