Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT) | IEEE Conference Publication | IEEE Xplore