Formal Verification of a State-of-the-Art Integer Square Root | IEEE Conference Publication | IEEE Xplore