Publications

Verification of large synthesized designs

• • D. Brand
• 1993
• ICCAD 1993