System, method, and computer program product for verification using X-propagation
AssigneeCadence Design Systems, Inc.
InventorsAmit Sharma, Amit Aggarwal, Manu Chopra, Abhishek Raheja
Life of this patent
Estimating the term…
Abstract
The present disclosure relates to a computer-implemented method for electronic design verification. The method may include providing, using a processor, a low-power electronic design and determining if a power domain associated with the low-power electronic design is active. The method may further include identifying, at a register transfer level (RTL) at least one X value associated with an active power domain wherein identifying occurs during a simulation.
Claims20
A computer-implemented method for electronic design verification comprising:
- providing, using a processor, a low-power electronic design;
- determining if a power domain associated with the low-power electronic design is active;
- and
- identifying, at a register transfer level (RTL), at least one X value associated with an active power domain wherein identifying occurs during a simulation.
A computer-readable storage medium for electronic design verification, the computer-readable storage medium having stored thereon instructions that when executed by a machine result in one or more operations, the operations comprising:
- providing, using a processor, a low-power electronic design;
- determining if a power domain associated with the low-power electronic design is active;
- and
- identifying, at a register transfer level (RTL), at least one X value associated with an active power domain wherein identifying occurs during a simulation.
A system for electronic design verification comprising:
- a computing device having at least one processor configured to provide a low-power electronic design and determine if a power domain associated with the low-power electronic design is active, the at least one processor further configured to identify, at a register transfer level (RTL) at least one X value associated with an active power domain wherein identifying occurs during a simulation.
Dependencies are inferred from the claim text.