Title :
How many decomposition types do we need? [decision diagrams]
Author :
Becker, Bernd ; Drechsler, Rolf
Author_Institution :
Dept. of Comput. Sci., Frankfurt Univ., Germany
Abstract :
Decision Diagrams (DDs) are used in many applications in CAD. Various types of DDs, e.g. BDDs, FDDs, KFDDs, differ by their decomposition types. In this paper we investigate the different decomposition types and prove that there are only three that really help to reduce the size of DDs
Keywords :
Boolean functions; diagrams; logic CAD; logic design; BDD; CAD; FDD; KFDD; decision diagrams; decomposition types; Boolean functions; Computer science; Data structures; Design automation; Packaging; Resumes;
Conference_Titel :
European Design and Test Conference, 1995. ED&TC 1995, Proceedings.
Conference_Location :
Paris
Print_ISBN :
0-8186-7039-8
DOI :
10.1109/EDTC.1995.470359
