Title :
Optimal symmetry detection for OKFDDs
Author :
Wang, Yuke ; Drechsler, Rolf ; Song, Xiaoyu
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
Abstract :
Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs
Keywords :
Boolean functions; VLSI; binary decision diagrams; circuit CAD; logic CAD; Boolean functions; CAD systems; OKFDDs; VLSI; logic synthesis; optimal symmetry detection; ordered Kronecker functional decision diagrams; ordered binary decision diagrams; symmetric functions; Boolean functions; Circuit synthesis; Computer science; Data structures; Detection algorithms; Logic design; Logic testing; Minimization; Modems; Very large scale integration;
Conference_Titel :
Circuits and Systems, 2000. Proceedings of the 43rd IEEE Midwest Symposium on
Conference_Location :
Lansing, MI
Print_ISBN :
0-7803-6475-9
DOI :
10.1109/MWSCAS.2000.951480
