PRATAP GAURAV

State table complexity reduction in a hierarchical verification flow