Industrial Strength Formal Verification Techniques for Hardware Designs.

Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas

Browse the full VLSID paper archive.