Efficient presentation of functional coverage results
First Claim
1. A method for presentation of functional coverage, comprising:
- representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events;
running at least one test on the design;
identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test; and
grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space; and
presenting the simplified model of the functional coverage on an output device.
6 Assignments
0 Petitions
Accused Products
Abstract
A method for presentation of functional coverage includes representing a set of attributes of a design under test as a multi-dimensional cross-product space, which includes events corresponding to combinations of values of the attributes to be tested, the events including legal and illegal events. At least one test is run on the design, and responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test are identified. One or more of the illegal events are grouped with at least one of the first and second groups so as to present a simplified model of the coverage of the events in the cross-product space.
-
Citations
10 Claims
-
1. A method for presentation of functional coverage, comprising:
-
representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events; running at least one test on the design; identifying, responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test; and grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space; and presenting the simplified model of the functional coverage on an output device. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method for presentation of functional coverage, comprising:
-
representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested; running at least one test on the design; identifying, responsively to the at least one test, a first group of the events that were covered by the at least one test and a second group of the events that remain non-covered after the at least one test; and grouping one or more of the covered events with the second group so as to generate a simplified model of the functional coverage of the events in the cross-product space; and presenting the simplified model of the functional coverage on an output device. - View Dependent Claims (10)
-
Specification