Arithmetic transforms for verifying compositions of sequential datapaths | IEEE Conference Publication | IEEE Xplore