Algorithms for Compositions of Arithmetic Transforms and Their Extensions

This paper addresses the use of Arithmetic Transforms (AT) and its extensions to express word-level quantities and sequential elements. Their applications cover equivalence checking and component matching. Compositional construction of an overall circuit becomes critical. In order to facilitate the compositions, novel algorithms are proposed to get high performance and experiments prove their efficiency.