Accelerating high-level bounded model checking.

Malay K. Ganai, Aarti Gupta

Browse the full ICCAD paper archive.