SI-SMART: Functional test generation for RTL circuits using loop abstraction and learning recurrence relationships | IEEE Conference Publication | IEEE Xplore