Ranking verification results for root cause analysis
First Claim
1. A computer-implemented method for design analysis comprising:
- determining, based on a report on violations for a design using one or more processors, a relationship between a plurality of the violations for the design where the relationship includes a proximity between the plurality of violations;
calculating violation weights and sorting the violations based on the violation weights;
identifying a primary contributor to the plurality of the violations based on the relationship between the plurality of violations, where the primary contributor is related to an object within the design and where the identifying a primary contributor is based on a hot spot analysis for the design;
annotating the design with violation-check tuples and where the determining the relationship between the plurality of the violations is based on the violation-check tuples; and
wherein a weight, from the violation weights, is assigned to a design object based on the number of violations associated with the design object within the design and where the hot spot is identified based on the weight.
1 Assignment
0 Petitions
Accused Products
Abstract
Verification-result ranking techniques for root cause analysis are disclosed using violation report analysis and violation weighting. Violation reports are unwieldy and result from a variety of design and process checks. The check coverage can overlap, causing a specific violation to trigger multiple reported violations. High turn around times for violation report analysis increase the risk that selective violation analysis will inadvertently suppress real design bugs. This reduces the odds that static checker reports alone will meet design sign-off criteria. Determining relationships among a plurality of violations for a design permits clustering violations into hot spots. Identification of primary and subsequent contributors to the plurality of violations is based on the relationships among violations. The hot spot with the highest weight is identified, and then subsequent violations are identified to maximize violation coverage. The result is greater efficiency of design violation identification and resolution.
20 Citations
30 Claims
-
1. A computer-implemented method for design analysis comprising:
-
determining, based on a report on violations for a design using one or more processors, a relationship between a plurality of the violations for the design where the relationship includes a proximity between the plurality of violations; calculating violation weights and sorting the violations based on the violation weights; identifying a primary contributor to the plurality of the violations based on the relationship between the plurality of violations, where the primary contributor is related to an object within the design and where the identifying a primary contributor is based on a hot spot analysis for the design; annotating the design with violation-check tuples and where the determining the relationship between the plurality of the violations is based on the violation-check tuples; and wherein a weight, from the violation weights, is assigned to a design object based on the number of violations associated with the design object within the design and where the hot spot is identified based on the weight. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19)
-
-
20. A computer system for design analysis comprising:
-
a memory which stores instructions; one or more processors coupled to the memory wherein the one or more processors are configured to; determine, based on a report on violations for a design, a relationship between a plurality of the violations for the design where the relationship includes a proximity between the plurality of violations; calculate violation weights and sorting the violations based on the violation weights; identify a primary contributor to the plurality of the violations based on the relationship between the plurality of violations, where the primary contributor is related to an object within the design and where the identifying a primary contributor is based on a hot spot analysis for the design; annotate the design with violation-check tuples and where determination of the relationship between the plurality of the violations is based on the violation-check tuples; and wherein a weight, from the violation weights, is assigned to a design object based on the number of violations associated with the design object within the design and where the hot spot is identified based on the weight. - View Dependent Claims (21, 22, 23, 24)
-
-
25. A computer program product embodied in a non-transitory computer readable medium for design analysis comprising:
-
code for determining, based on a report on violations for a design, a relationship between a plurality of the violations for the design where the relationship includes a proximity between the plurality of violations; code for calculating violation weights and sorting the violations based on the violation weights; code for identifying a primary contributor to the plurality of the violations based on the relationship between the plurality of violations, where the primary contributor is related to an object within the design and where the identifying a primary contributor is based on a hot spot analysis for the design; code for annotating the design with violation-check tuples and where the determining the relationship between the plurality of the violations is based on the violation-check tuples; and
wherein a weight, from the violation weights, is assigned to a design object based on the number of violations associated with the design object within the design and where the hot spot is identified based on the weight. - View Dependent Claims (26, 27, 28, 29, 30)
-
Specification