Automatic evaluation of the accuracy of fixed-point algorithms | IEEE Conference Publication | IEEE Xplore