Using SAT-based Craig interpolation to enlarge clock gating functions.
Journal
Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011
Pages
621-626
Date Issued
2011
Author(s)
Lin, Ting-Hao
SDGs
Type
conference paper