Verification of design derived from power intent
AssigneeFreescale Semiconductors, Inc.
InventorsXiushan Feng, Jayanta Bhadra, Scott R. Little
Life of this patent
Estimating the term…
Abstract
An approach is provided in which a power design verification system retrieves a power intent data corresponding to a power design, which identifies the power design's power modes and power mode transition conditions. The power design verification system selects one of the power mode transition conditions, which identifies input signals that invoke a transition from a first power mode to a second power mode. In turn, the power design verification system generates simulation stimuli based upon the identified input signals and simulates the power design utilizing the generated simulation stimuli accordingly.
Claims14
A method comprising:
- generating a power state graph based upon power intent data of a power design, wherein the power state graph comprises a plurality of edges based upon a plurality of power mode transition conditions included in the power intent data to transition between one or more of a plurality of power modes of the power design;
- updating the power intent data to include one or more new power mode transition conditions in response to determining that a transition sequence comprising one or more of the plurality of edges fails to exist in the power state graph from a selected first power mode to a selected second power mode, the selected first power mode and the selected second power mode included in the plurality of power modes;
- generating an updated power state graph based upon the updated power intent data;
- generating simulation stimuli based upon the updated power state graph;
- and
- simulating the power design utilizing the generated simulation stimuli.
An information handling system comprising:
- one or more processors;
- a memory coupled to at least one of the processors;
- a set of computer program instructions stored in the memory and executed by at least one of the processors in order to perform actions of:
- generating a power state graph based upon power intent data of a power design, wherein the power state graph comprises a plurality of edges based upon a plurality of power mode transition conditions included in the power intent data to transition between one or more of a plurality of power modes of the power design;
- updating the power intent data to include one or more new power mode transition conditions in response to determining that a transition sequence comprising one or more of the plurality of edges fails to exist in the power state graph from a selected first power mode to a selected second power mode, the selected first power mode and the selected second power mode included in the plurality of power modes;
- generating an updated power state graph based upon the updated power intent data;
- generating simulation stimuli based upon the updated power state graph;
- and
- simulating the power design utilizing the generated simulation stimuli.
A computer program product for simulating a power design, the computer program product comprising:
- a non-transitory computer readable storage medium;
- first program instructions to generate a power state graph based upon power intent data of a power design, wherein the power state graph comprises a plurality of edges based upon a plurality of power mode transition conditions included in the power intent data to transition between one or more of a plurality of power modes of the power design;
- second program instructions to update the power intent data to include one or more new power mode transition conditions in response to determining that a transition sequence comprising one or more of the plurality of edges fails to exist in the power state graph from a selected first power mode to a selected second power mode, the selected first power mode and the selected second power mode included in the plurality of power modes;
- fourth program instructions to generate an updated power state graph based upon the updated power intent data;
- fifth program instructions to generate simulation stimuli based upon the updated power state graph;
- sixth program instructions to simulate the power design utilizing the generated simulation stimuli;
- and
- wherein the first, second, third, fourth, fifth, and sixth program instructions are stored on the computer readable storage medium.
Dependencies are inferred from the claim text.