Boolean division and factorization using binary decision diagrams

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, t...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on computer-aided design of integrated circuits and systems 1994-09, Vol.13 (9), p.1179-1184
Main Authors: Stanion, T., Sechen, C.
Format: Article
Language:English
Subjects:
Applied sciences
Binary decision diagrams
Boolean algebra
Boolean functions
CMOS logic circuits
CMOS technology
Data mining
Data structures
Design. Technologies. Operation analysis. Testing
Electronics
Exact sciences and technology
Integrated circuits
Kernel
Logic functions
Polynomials
Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 methods.< >
ISSN:0278-0070
1937-4151
DOI:10.1109/43.310907