Forward model checking techniques oriented to buggy designs.

Hiroaki Iwashita, Tsuneo Nakata

Browse the full ICCAD paper archive.