Propositional approximations for bounded model checking of partial circuit designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer. Propositional approximations for bounded model checking of partial circuit designs. In 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings. pages 52-59, IEEE, 2008. [doi]

This author has not been identified. Look up 'Bernd Becker' in GoogleThis author has not been identified. Look up 'Marc Herbstritt' in GoogleThis author has not been identified. Look up 'Natalia Kalinnik' in GoogleThis author has not been identified. Look up 'Matthew D. T. Lewis' in GoogleThis author has not been identified. Look up 'Juri Lichtner' in GoogleThis author has not been identified. Look up 'Tobias Nopper' in GoogleThis author has not been identified. Look up 'Ralf Wimmer' in Google

runs on WebDSL