Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations

Autor:	Whitney J. Townsend, Mitchell A. Thornton, D. Michael Miller, Rolf Drechsler
Rok vydání:	2002
Předmět:	Theoretical computer science Computer science Discrete functions Graph (abstract data type) Influence diagram Arithmetic Spectral method Data structure Implementation
Zdroj:	ACM Great Lakes Symposium on VLSI
DOI:	10.1145/505306.505344
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ef1248c253d388b97b09ddc23e26a5cd https://doi.org/10.1145/505306.505344 Zobrazit plný text záznamu