Low Power Verification using Power State Table Coverage

This presentation describes low power verification principles and the use of power state table to identify invalid power states and power transitions. The presentation will show how to use the UPF power state tables to describe valid states and transitions for verification purposes. We will then explain issues related to reset states and transitional states and show how to use the power state table coverage to identify new sequences to implement.