BDD-Based Debugging Of Design Using Language Containment and Fair CTL.

Ramin Hojati, Robert K. Brayton, Robert P. Kurshan

Browse the full CAV paper archive.