Academic
Publications
Linear Transformations and Exact Minimization of BDDs

Linear Transformations and Exact Minimization of BDDs,10.1109/GLSV.1998.665287,Wolfgang Günther,Rolf Drechsler

Linear Transformations and Exact Minimization of BDDs   (Citations: 14)
BibTex | RIS | RefWorks Download
We present an exact algorithm to find an optimallinear transformation for the variables of a Booleanfunction to minimize its corresponding ordered BinaryDecision Diagram (BDD). To prune the huge searchspace, techniques known from algorithms for findingthe optimal variable ordering are used. This BDDminimization finds direct application in FPGA design.We give experimental results for a large variety of circuitsto show the efficiency of our approach.1 IntroductionSpectral methods have ...
Conference: ACM Great Lakes Symposium on VLSI , pp. 325-330, 1998
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: