Word level symbolic model checking---Avoiding the Pentium FDIV error (1996)

by E M Clarke, M Khaira, X Zhao
Venue:In Proceedings of the 33rd Design Automation Conference, pages 645--648, Las Veqas, NV