Formal Verification of Iterative Algorithms in Microprocessors (2000)

by M Aagaard, R B Jones, R Kaivola, K R Kohatsu, C-J H Seger
Venue:In Proceedings of the 37 th Conference on Design Automation (DAC 2000