Linear Transformations and Exact Minimization of BDDs

Authors:
Wolfgang Günther;Rolf Drechsler
Affiliations:
-;-
Venue:
GLS '98 Proceedings of the Great Lakes Symposium on VLSI '98
Year:
1998

Citing 0
Cited 4

Lower bounds for linearly transformed OBDDs and FBDDs

Journal of Computer and System Sciences
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extende Abstract)

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Approximate Algorithms for Minimization of Binary Decision Diagrams on the Basis of Linear Transformations of Variables

Automation and Remote Control
FSM Encoding for BDD Representations

International Journal of Applied Mathematics and Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an exact algorithm to find an optimal linear transformation for the variables of a Boolean function to minimize its corresponding ordered Binary Decision Diagram (BDD). To prune the huge search space, techniques known from algorithms for finding the optimal variable ordering are used. This BDD minimization finds direct application in FPGA design. We give experimental results for a large variety of circuits to show the efficiency of our approach.