loading...
An Approach to Minimization of Decision Diagrams
Euromicro Symposium on Digital System ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.


Click here to go to beta feedback form