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.
|Autori:||Bernasconi A; Valentina Ciriani; Valentino Liberali; Gabriella Trucco; Tiziano Villa|
|Titolo:||Synthesis of P-circuits for logic restructuring|
|Anno del prodotto:||2012|
|Digital Object Identifier (DOI):||10.1016/j.vlsi.2011.11.009|
|Appare nelle tipologie:||1.1 Articolo in rivista|