https://scholars.lib.ntu.edu.tw/handle/123456789/499728
Title: | Using SAT-based Craig interpolation to enlarge clock gating functions. | Authors: | Lin, Ting-Hao CHUNG-YANG HUANG |
Issue Date: | 2011 | Start page/Pages: | 621-626 | Source: | Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011 | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/499728 | DOI: | 10.1145/2024724.2024867 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.