Verification of design derived from power intent
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.
1. 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.
2. The method of claim 1 further comprising:
selecting an ordered list of a plurality of power mode transitions;
matching the plurality of power mode transitions to one or more of the plurality of power mode transitions conditions;
selecting one or more of a plurality of input signals that correspond to the matched one or more power mode transition conditions; and
generating additional simulation stimuli based upon the selected one or more input signals.
3. The method of claim 1 further comprising:
selecting an ordered list of a plurality of power mode transitions;
determining whether the ordered list of the plurality of power mode transitions is valid compared to the updated power state graph;
in response to determining that the ordered list of the plurality of power mode transitions is valid, verifying that an existing assertion verifies execution of the selected ordered list of the plurality of power mode transitions; and
in response to determining that the ordered list of the plurality of power mode transitions is invalid, generating an assertion that monitors execution of the selected ordered list of the plurality of power mode transitions.
4. The method of claim 1 wherein the simulation utilizes an RTL file to simulate the power design, the method further comprising:
determining that the power design fails the simulation; and
modifying the RTL file in response to the failed simulation.
5. The method of claim 4 wherein the RTL file includes a plurality of processors that each correspond to the plurality of power modes included in the power intent data.
6. 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.
7. The information handling system of claim 6 wherein the one or more processors perform additional actions comprising:
selecting an ordered list of a plurality of power mode transitions;
matching the plurality of power mode transitions to one or more of the plurality of power mode transitions conditions;
selecting one or more of a plurality of input signals that correspond to the matched one or more power mode transition conditions; and
generating additional simulation stimuli based upon the selected one or more input signals.
8. The information handling system of claim 6 wherein the one or more processors perform additional actions comprising:
selecting an ordered list of a plurality of power mode transitions;
determining whether the ordered list of the plurality of power mode transitions is valid compared to the updated power state graph;
in response to determining that the ordered list of the plurality of power mode transitions is valid, verifying that an existing assertion verifies execution of the selected ordered list of the plurality of power mode transitions; and
in response to determining that the ordered list of the plurality of power mode transitions is invalid, generating an assertion that monitors execution of the selected ordered list of the plurality of power mode transitions.
9. The information handling system of claim 6 wherein the simulation utilizes an RTL file to simulate the power design, the one or more processors performing additional actions comprising:
determining that the power design fails the simulation; and
modifying the RTL file in response to the failed simulation.
10. 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.
11. The computer program product of claim 10 further comprising additional program instructions stored on the computer readable storage medium to perform actions of:
selecting an ordered list of a plurality of power mode transitions;
matching the plurality of power mode transitions to one or more of the plurality of power mode transitions conditions;
selecting one or more of a plurality of input signals that correspond to the matched one or more power mode transition conditions; and
generating additional simulation stimuli based upon the selected one or more input signals.
12. The computer program product of claim 10 further comprising additional program instructions stored on the computer readable storage medium to perform actions of:
selecting an ordered list of a plurality of power mode transitions;
determining whether the ordered list of the plurality of power mode transitions is valid compared to the updated power state graph;
in response to determining that the ordered list of the plurality of power mode transitions is valid, verifying that an existing assertion verifies execution of the selected ordered list of the plurality of power mode transitions; and
in response to determining that the ordered list of the plurality of power mode transitions is invalid, generating an assertion that monitors execution of the selected ordered list of the plurality of power mode transitions.
13. The computer program product of claim 10 wherein the simulation utilizes an RTL file to simulate the power design, the computer program product further comprising additional program instructions stored on the computer readable storage medium to perform actions of:
determining that the power design fails the simulation; and
modifying the RTL file in response to the failed simulation.
14. The computer program product of claim 10 wherein the RTL file includes a plurality of processors that each correspond to the plurality of power modes included in the power intent data.