Efficient hierarchical low power verification of custom designs using static and dynamic techniques Author(s): Himanshu Bhatt, Archanna Srinivasan, and Chong Lee Kuay Download