KULATUNGA MALITHA

State table complexity reduction in a hierarchical verification flow