Power Assertion Definition