Propositional approximations for bounded model checking of partial circuit designs.

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer

Browse the full ICCD paper archive.