Loading...
Please wait, while we are loading the content...
Similar Documents
More: an alternative implementation of bdd-packages by multi-operand synthesis (1996).
| Content Provider | CiteSeerX |
|---|---|
| Author | Hett, Andreas Drechsler, Rolf Becker, Bernd |
| Abstract | In this paper we present a new approach for the realization of a BDD-package. This approach does not depend on recursive synthesis operations (i.e. the ternary If-Then-Else-operator (ITE)) to perform manipulations of Boolean functions; instead our basic operation MORE is based on exchanges of neighbouring variables and existential quantification. It is capable of combining an arbitrary number of Boolean functions in parallel. We discuss the difference between MORE and ITE and give experimental results to show the advantages of our implementation approach with respect to size and runtime. 1. Introduction Ordered Binary Decision Diagrams (OBDDs) as introduced by Bryant in 1986 are the state-of-the-art data structure in CAD. They have been successfully used in many applications, like verification and logic synthesis [12, 7, 5]. In the meantime they are also integrated in commercial tools for verification and FPGA design [1, 11]. One of the main advantages of OBDDs is that they can effici... |
| File Format | |
| Publisher Date | 1996-01-01 |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
