Using SAT-based Craig Interpolation to Enlarge Clock Gating Functions
Date Issued
2011
Date
2011
Author(s)
Lin, Ting-Hao
Abstract
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 approaches to reduce the dynamic power. In this thesis, we exploit the interpolation technique in a SAT-based clock gating algorithm in order to grant a greater flexibility in enlarging the gating capabilities over the original gating candidates. We also developed several techniques to improve the runtime and memory usage of the clock gating algorithm, including a gating capability filter to reduce the number of formal SAT proofs, a dynamic backtracking limit controller to shorten the SAT runs, and a shrinking method to ease the final gate count overhead. The experimental results show that our proposed algorithm can gate up to 2X clock switches with less than 5% area overhead when compared to the state-of-the-art SAT-based clock gating methodology.
Subjects
SAT solver
Craig Interpolation
Clock Gating
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-100-F92921089-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):4862b4119b9c2b6750da0677cab553d4