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:
Presentation
Format:
pdf