Efficient hierarchical low power verification of custom designs using static and dynamic techniques

Author(s):
Himanshu Bhatt, Archanna Srinivasan, and Chong Lee Kuay