BHATIA PARUL

System and method for hierarchical power verification