A Formal Verification App Towards Efficient, Chip-Wide Clock Gating Verification

Author(s):
Prosenjit Chatterjee, Scott Fields, and Syed Suhaib
Location:
United States
Year:
2014
Type:
Paper
Format:
pdf