Equivalence checking of partial designs using dependency quantified Boolean formulae - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. Equivalence checking of partial designs using dependency quantified Boolean formulae. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 396-403, IEEE, 2013. [doi]

This author has not been identified. Look up 'Karina Gitina' in GoogleThis author has not been identified. Look up 'Sven Reimer' in GoogleThis author has not been identified. Look up 'Matthias Sauer' in GoogleThis author has not been identified. Look up 'Ralf Wimmer' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL