DocumentCode
3501173
Title
Optimal symmetry detection for OKFDDs
Author
Wang, Yuke ; Drechsler, Rolf ; Song, Xiaoyu
Author_Institution
Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
Volume
3
fYear
2000
fDate
2000
Firstpage
1422
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2000. Proceedings of the 43rd IEEE Midwest Symposium on
Conference_Location
Lansing, MI
Print_ISBN
0-7803-6475-9
Type
conf
DOI
10.1109/MWSCAS.2000.951480
Filename
951480
Link To Document