Boolean division and factorization using binary decision diagrams
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 13 (9) , 1179-1184
- https://doi.org/10.1109/43.310907
Abstract
A method for performing Boolean division and factorization using a new cofactor operation, the interval cofactor, is proposed. This method Is efficiently implemented using BDD's and allows for the use of external and internal don't care sets. As well as generating a normal factored form, the method also generates an extended factored form that allows for the use of the exclusive-OR function in the expression. Using this extended form, much better factorizations may sometimes be found. The method was implemented in Catamount, a logic synthesis system currently under development. The method compares favorably to existing algebraic methodsKeywords
This publication has 11 references indexed in Scilit:
- On variable ordering of binary decision diagrams for the application of multi-level logic synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient implementation of a BDD packagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Boolean factoring with kernels and rectangle coveringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algorithms for technology mapping based on binary decision diagrams and on Boolean operationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
- Multilevel logic synthesisProceedings of the IEEE, 1990
- MIS: A Multiple-Level Logic Optimization SystemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Logic Minimization Algorithms for VLSI SynthesisPublished by Springer Nature ,1984
- Binary Decision DiagramsIEEE Transactions on Computers, 1978
- Representation of Switching Circuits by Binary-Decision ProgramsBell System Technical Journal, 1959