Name
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 methods |
Year | DOI | Venue |
|---|---|---|
1994 | 10.1109/43.310907 | Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions |
Keywords | DocType | Volume |
Boolean functions,CMOS integrated circuits,integrated logic circuits,logic CAD,many-valued logics,Boolean division,Boolean factorization,Catamount,binary decision diagrams,cofactor operation,don't care sets,exclusive-OR function,extended factored form,interval cofactor,logic synthesis system | Journal | 13 |
Issue | ISSN | Citations |
9 | 0278-0070 | 11 |
PageRank | References | Authors |
0.83 | 6 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stanion, T. | 1 | 11 | 0.83 |
| Sechen, C. | 2 | 22 | 1.69 |