Generator-based Verification.

Yunshan Zhu, James H. Kukula

Browse the full ICCAD paper archive.