Formal verification of iterative algorithms in microprocessors | IEEE Conference Publication | IEEE Xplore