A program data flow analysis procedure
Communications of the ACM
Logic Design of Digital Systems
Logic Design of Digital Systems
Two problems in concrete complexity: cycle detection and parallel prefix computation
Two problems in concrete complexity: cycle detection and parallel prefix computation
Redundancy and Don't Cares in Logic Synthesis
IEEE Transactions on Computers
Logic synthesis through local transformations
IBM Journal of Research and Development
| Hi-index | 14.98 |
This correspondence concerns applications of optimization techniques based on global flow analysis to the automated design of logic. Previous optimization work on logic design has relied primarily on either local transformations on the circuit graph or on the use of two-level Boolean minimization. Our methods involve linear time algorithms which extend the scope of local optimizations to the entire design. Their use, in some cases, has resulted in a reduction in gate count, in improved control over path length, and in better detection and elimination of redundancy.