SI-SMART: Functional test generation for RTL circuits using loop abstraction and learning recurrence relationships.

Prateek Puri, Michael S. Hsiao

Browse the full ICCD paper archive.