Power State to PST Conversion: Simplifying static analysis and debugging of power aware designs