Using SAT-based Craig interpolation to enlarge clock gating functions.

Lin, Ting-HaoTing-HaoLinCHUNG-YANG HUANG2020-06-112020-06-112011https://scholars.lib.ntu.edu.tw/handle/123456789/499728[SDGs]SDG7Using SAT-based Craig interpolation to enlarge clock gating functions.conference paper10.1145/2024724.2024867https://doi.org/10.1145/2024724.2024867