Timed shared circuits: a power-efficient design style and synthesis tool
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
A novel synthesis approach for active leakage power reduction using dynamic supply gating
Proceedings of the 42nd annual Design Automation Conference
Optimizing sequential cycles through Shannon decomposition and retiming
Proceedings of the conference on Design, automation and test in Europe: Proceedings
On Projecting Sums of Products
DSD '08 Proceedings of the 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools
The complexity of modular decomposition of Boolean functions
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
On decomposing Boolean functions via extended cofactoring
Proceedings of the Conference on Design, Automation and Test in Europe
Optimal logic synthesis and testability: two faces of the same coin
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
An approximation algorithm for cofactoring-based synthesis
Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI
Minimization of P-circuits using Boolean relations
Proceedings of the Conference on Design, Automation and Test in Europe
Machine-learning-based circuit synthesis
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Boolean functional decomposition techniques built on top of Shannon cofactoring are applied to obtain specialized 4-level forms called Projected Circuits, or P-circuits. We describe their minimization by heuristic and guaranteed approximation algorithms exploiting structural don't care conditions, and prove properties for special cases about cost estimation and testability. A specific application is synthesis for minimum switching activity, with small area penalty, where the decomposition moves toward the output critical signals with the highest switching activity. We report encouraging experiments for decomposition targeting power consumption or simply area.