Functional test of small-delay faults using SAT and Craig interpolation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker. Functional test of small-delay faults using SAT and Craig interpolation. In 2012 IEEE International Test Conference, ITC 2012, Anaheim, CA, USA, November 5-8, 2012. pages 1-8, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Matthias Sauer' in GoogleThis author has not been identified. Look up 'Stefan Kupferschmid' in GoogleThis author has not been identified. Look up 'Alexander Czutro' in GoogleThis author has not been identified. Look up 'Ilia Polian' in GoogleThis author has not been identified. Look up 'Sudhakar M. Reddy' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL