Stimuli-independent clock gating determination
AssigneeTexas Instruments Incorporated
InventorsAbhinav Parashar, Harish Maruthiyodan
Life of this patent
Estimating the term…
Abstract
A method includes receiving a circuit design, identifying sequential elements and corresponding clocks in the circuit design, and identifying sequential elements that are not clock gated in the circuit design by running a first formal verification process on the circuit design. The method further includes modifying the circuit design to add clock gating for at least one sequential element that was identified as not being clock gated to generate a first modified circuit design.
Claims17
A method, comprising:
- receiving a circuit design;
- identifying sequential elements and corresponding clocks in the circuit design;
- identifying at least one of the sequential elements that is not clock gated in the circuit design by running a first formal verification process on the circuit design;
- and
- modifying the circuit design to add clock gating for the at least one sequential element that was identified as not being clock gated to generate a first modified circuit design.
A non-transitory computer-readable medium containing software that, when executed by a processor, causes the processor to:
- receive a circuit design;
- identify sequential elements and corresponding clocks in the circuit design;
- and
- identify at least one of the sequential elements that is not clock gated in the circuit design by running a first formal verification process having at least one assertion property on the circuit design.
A system, comprising:
- memory configured to store software;
- and
- a processor configured to execute the software to:
- receive a circuit design;
- identify sequential elements and corresponding clocks in the circuit design;
- and
- identify at least one of the sequential elements that is not clock gated in the circuit design by running a first formal verification process having at least one assertion property on the circuit design.
Dependencies are inferred from the claim text.