Incremental formal design verification.

Gitanjali Swamy, Robert K. Brayton

Browse the full ICCAD paper archive.