Automatic Generation of Formal Properties for Logic Related to Clock Gating

Author(s):
Shuqing Zhao and Shan Yan
Location:
United States
Year:
2015
Type:
Paper
Format:
pdf