Novel sat-based invariant-directed low-power synthesis

M Elbayoumi, MS Hsiao… - … Symposium on Quality …, 2015 - ieeexplore.ieee.org
Dynamic power consumption is a critical concern in the design of both high performance
and low-power circuits. Clock-gating is one of the most efficient and prominent approaches …

Using sat-based craig interpolation to enlarge clock gating functions

TH Lin, CY Huang - Proceedings of the 48th Design Automation …, 2011 - dl.acm.org
Dynamic power saving is gaining its dominance in modern low power designs, while clock
gating, which blocks unnecessary clock switching activities, is one of the most efficient …

C-Mine: Data mining of logic common cases for low power synthesis of Better-Than-Worst-Case designs

CH Lin, L Wan, D Chen - Proceedings of the 51st Annual Design …, 2014 - dl.acm.org
The Better-Than-Worst-Case (BTW) design methodology is well-known for its potential to
improve circuit energy efficiency, performance, and reliability. However, most existing …

Logic synthesis for low power using clock gating and rewiring

TK Lam, S Yang, WC Tang, YL Wu - … of the 20th symposium on Great …, 2010 - dl.acm.org
Traditionally, clock gating for power saving is mainly done at Register Transistor Level
(RTL), while in a lower logical level some synthesis techniques, eg Observability Don't Care …

SAT-based synthesis of clock gating functions using 3-valued abstraction

E Arbel, O Rokhlenko, K Yorav - 2009 Formal Methods in …, 2009 - ieeexplore.ieee.org
Clock gating is a power reduction technique for digital circuits that works by eliminating
unnecessary switching of parts of the clock network, a power-hungry component in …

A SAT-based methodology for effective clock gating for power minimization

K Chandrakar, S Roy - Journal of Circuits, Systems and Computers, 2019 - World Scientific
A possible solution to handle the rising complexity of modern Systems-on-Chip (SoCs) is to
raise the level of abstraction for the design and optimization. A better optimization of …

C-mine: Data mining of logic common cases for improved timing error resilience with energy efficiency

CH Lin, L Wan, D Chen - ACM Transactions on Design Automation of …, 2017 - dl.acm.org
The better-than-worst-case (BTW) design methodology can achieve higher circuit energy
efficiency, performance, or reliability by allowing timing errors for rare cases and rectifying …

Timing driven power gating in high-level synthesis

SH Huang, CH Cheng - 2009 Asia and South Pacific Design …, 2009 - ieeexplore.ieee.org
The power gating technique is useful in reducing standby leakage current, but it increases
the gate delay. For a functional unit, its maximum allowable delay (for a target clock period) …

Prioritized prime implicant patterns puzzle for novel logic synthesis and optimization

KH Cheng, SW Cheng - Proceedings of ASP-DAC/VLSI Design …, 2002 - ieeexplore.ieee.org
Comparing CMOS logic with pass-transistor logic, a question was raised in the minds of the
authors:" does any rule exist that contains all good?" This paper reveals novel logic …

[PDF][PDF] Enabling Concurrent Clock and Power Gating in an Industrial Design Flow

LBACA Macii, EMM Poncino - … on Design, Automation & Test in …, 2009 - academia.edu
Clock-gating and power-gating have proven to be very effective solutions for reducing
dynamic and static power, respectively. The two techniques may be coupled in such a way …