1. A computer implemented method for deriving a set of auxiliary verification statements comprising: accessing by a computer a device design, the device design having a plurality of power domains; accessing by the computer at least one verification statement; determining on the computer a set of properties instantiated in the at least one verification statement; synthesizing on the computer a set of auxiliary verification statements, the auxiliary verification statements corresponding to the set of properties and the plurality of power domains, wherein synthesizing the set of auxiliary verification statements comprising: for ones of the set of properties, determining on the computer a plurality of driving power domains corresponding to the property, the plurality of driving power domains being a subset of the plurality of power domains; and for the plurality of driving power domains, determining a condition wherein the driving power domain is active, generating an auxiliary property based on the condition and the property, generating an auxiliary verification statement based on the auxiliary property, and adding the auxiliary verification statement to the set of auxiliary verification statements; and saving the set of auxiliary verification statements to a memory storage location.