Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Whitney J. Townsend, Mitchell Aaron Thornton, Rolf Drechsler, David Michael Miller · 2002
Spectral techniques have found many applications in computer-aided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coefficients to be calculated via graph-based algorithms. In this paper, algorithms are described for transforming multi-output functions to produce Walsh, arithmetic, and Reed-Muller spectral decision diagrams and the experimental results of those implementations are presented.