Apparatus and method for calculating simulation coverage
First Claim
1. A simulation coverage calculating apparatus for calculating a simulation coverage for a logic circuit, comprising:
- a first input unit reading a property that represents one or more effective test patterns to the logic circuit to be verified;
an effective test pattern calculating unit calculating the effective test patterns based on the property;
a second input unit reading one or more test patterns entered and executed by a verifier;
a coverage ratio calculating unit calculating a coverage ratio from a ratio of the number of the test patterns matched to the effective test patterns to the number of all of the effective test patterns; and
an output unit outputting the calculated coverage ratio.
4 Assignments
0 Petitions
Accused Products
Abstract
A simulation coverage calculating apparatus is provided for calculating a simulation coverage for a complete verification. The apparatus includes a first input unit, a second input unit, an effective test pattern calculating unit, a coverage ratio calculating unit, and an output unit. The first input unit reads a property that represents effective test patterns to a logic circuit to be verified. The effective test pattern calculating unit calculates the effective test patterns based on the property. The second input unit reads the test patterns entered and executed by a verifier. The coverage ratio calculating unit calculates a coverage ratio from a ratio of the number of the test patterns matched to the effective test patterns to the number of all of the effective test patterns. The output unit outputs the calculated coverage ratio.
11 Citations
4 Claims
-
1. A simulation coverage calculating apparatus for calculating a simulation coverage for a logic circuit, comprising:
-
a first input unit reading a property that represents one or more effective test patterns to the logic circuit to be verified;
an effective test pattern calculating unit calculating the effective test patterns based on the property;
a second input unit reading one or more test patterns entered and executed by a verifier;
a coverage ratio calculating unit calculating a coverage ratio from a ratio of the number of the test patterns matched to the effective test patterns to the number of all of the effective test patterns; and
an output unit outputting the calculated coverage ratio. - View Dependent Claims (2)
-
-
3. A simulation coverage calculating method for calculating a simulation coverage for a logic circuit through the use of a computer, comprising the steps of:
-
reading a property that represents one or more effective test patterns to the logic circuit to be verified;
calculating the effective test patterns based on the property;
reading one or more test patterns entered and executed by a verifier; and
calculating a coverage ratio from a ratio of the number of the test patterns matched to the effective test patterns to the number of all of the effective test patterns. - View Dependent Claims (4)
-
Specification