loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Euromicro Symposium on Digital Systems Design (DSD'01)
An Approach to Minimization of Decision Diagrams
Warsaw, Poland
September 04-September 06
ISBN: 0-7695-1239-9
Pawel Kerntopf, Warsaw University of Technology
Abstract: One of the most promising concepts which has been developed for efficient representation of Boolean functions is Linearly Transformed Binary Decision Diagram (LTBDD). We present extensions to LTBDDs called Function-driven Decision Diagrams (fDDs). The notion of fDDs is based on using simple balanced (including nonlinear) Boolean functions for defining transformations of decision diagrams. In this context a new scheme of preprocessing which corresponds to inverse transformations as well as using composition of transformations are very efficient for minimization of fDDs. The first experimental results show that fDDs driven by nonlinear Boolean functions can be more compact than LTBDDs, with a reasonable cost. Further extensions of fDDs are also mentioned such as Function-driven Kronecker Functional Decision Diagrams and Multiple-Valued Function-driven Decision Diagrams.
Citation:
Pawel Kerntopf, "An Approach to Minimization of Decision Diagrams," dsd, pp.0079, Euromicro Symposium on Digital Systems Design (DSD'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.