Automatic Generation of Formal Properties for Logic Related to Clock Gating Author(s): Shuqing Zhao and Shan Yan Download