14. A non-transitory computer-readable medium storing computer-executable code for detecting anomalies in signal behaviors in integrated circuit (IC) designs, the non-transitory computer-readable medium comprising: code for receiving a power specification associated with a circuit design, the power specification comprising a power domain for a portion of the circuit design; code for determining at least one power sequence rule based on the power specification; code for identifying at least one anomaly of the at least one power sequence rule in response to simulating the circuit design and the power specification; and code for generating information relevant to the identified anomaly of the at least one power sequence rule.
14. A non-transitory computer-readable medium storing computer-executable code for detecting anomalies in signal behaviors in integrated circuit (IC) designs, the non-transitory computer-readable medium comprising: code for receiving a power specification associated with a circuit design, the power specification comprising a power domain for a portion of the circuit design; code for determining at least one power sequence rule based on the power specification; code for identifying at least one anomaly of the at least one power sequence rule in response to simulating the circuit design and the power specification; and code for generating information relevant to the identified anomaly of the at least one power sequence rule. 15. The non-transitory computer-readable medium according to claim 14 further comprising: code for setting up a context in a debugger for debugging the anomaly.