Logic corruption verification
AssigneeInternational Business Machines Corporation
InventorsNutan J. P. Kumar, Srinivas V. N. Polisetty
Life of this patent
Estimating the term…
Abstract
A computer-implemented method of verifying logic in a simulation-based behavioral latch model by performing actions including: inserting a value checking module in the behavioral latch model, the value checking module connected to one of a set of latches outside of a scan chain within the behavioral latch model; comparing a value of the one of the set of latches outside of the scan chain with a delta value for the one of the set of latches outside of the scan chain; and providing an error message in response to determining the value and the delta value are distinct.
Claims12
A computer-implemented method of verifying logic in a simulation-based behavioral latch model by performing actions comprising:
- inserting a value checking module in the behavioral latch model, the value checking module connected to one of a set of latches outside of a scan chain within the behavioral latch model,
- wherein the set of latches outside of the scan chain includes all latches in the behavior latch model that are outside of the scan chain,
- wherein the inserting of the value checking module in the behavioral latch model includes connecting the value checking module to only latches outside of the scan chain;
- comparing a value of a latch signal for the one of the set of latches outside of the scan chain with a delta value of the latch signal for the one of the set of latches outside of the scan chain, the delta value representing a time delayed value of the latch signal,
- wherein the comparing is initiated using a dial switch,
- wherein the dial switch is initially set to an off value, and
- wherein the comparing includes switching the dial switch from the off value to an on value;
- and
- providing an error message in response to determining the value and the delta value are distinct.
A system comprising:
- at least one computing device configured to verify logic in a simulation-based behavioral latch model by performing actions including:
- inserting a value checking module in the behavioral latch model, the value checking module connected to one of a set of latches outside of a scan chain within the behavioral latch model,
- wherein the set of latches outside of the scan chain includes all latches in the behavior latch model that are outside of the scan chain,
- wherein the inserting of the value checking module in the behavioral latch model includes connecting the value checking module to only latches outside of the scan chain;
- comparing a value of a latch signal for the one of the set of latches outside of the scan chain with a delta value of the latch signal for the one of the set of latches outside of the scan chain, the delta value representing a time delayed value of the latch signal,
- wherein the comparing is initiated using a dial switch,
- wherein the dial switch is initially set to an off value, and
- wherein the comparing includes switching the dial switch from the off value to an on value;
- and
- providing an error message in response to determining the value and the delta value are distinct.
A computer program comprising program code embodied in at least one computer-readable storage medium, which when executed, enables a computer system to determine threshold voltage levels within a macro of integrated circuit cells by performing actions comprising:
- inserting a value checking module in the behavioral latch model, the value checking module connected to one of a set of latches outside of a scan chain within the behavioral latch model,
- wherein the set of latches outside of the scan chain includes all latches in the behavior latch model that are outside of the scan chain,
- wherein the inserting of the value checking module in the behavioral latch model includes connecting the value checking module to only latches outside of the scan chain;
- comparing a value of a latch signal for the one of the set of latches outside of the scan chain with a delta value of the latch signal for the one of the set of latches outside of the scan chain, the delta value representing a time delayed value of the latch signal,
- wherein the comparing is initiated using a dial switch,
- wherein the dial switch is initially set to an off value, and
- wherein the comparing includes switching the dial switch from the off value to an on value;
- and
- providing an error message in response to determining the value and the delta value are distinct.
Dependencies are inferred from the claim text.