Hole query for functional coverage analysis

A computer software product, comprising a non-transitory computer-readable storage medium storing computer executable instructions which, when executed by a computer cause the computer to perform a method for presentation of functional coverage, comprising:

• representing a set of attributes of a design being verified as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of said attributes;
• running at least one test on said design;
• identifying non-covered events in test results of said test;
• specifying a core set of said non-covered events;
• performing a coverage query on said test results to identify a hole in said functional coverage by said test results that satisfies conditions of said coverage query and includes said core set, wherein said coverage query comprises a definition of said core set and further comprises properties of said hole;
• and
• presenting said hole so as to display a view of said coverage of said events in said cross-product space.

A computer system for presentation of functional coverage, comprising:

• a processor;
• a memory for storing a representation of a set of attributes of a design being verified as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of said attributes;
• a simulator operative for running at least one test on said design;
• a coverage tool executed by said processor and operative for performing the steps of:
• identifying non-covered events in test results of said test;
• accepting a specification of a core set of said non-covered events;
• and
• performing a coverage query on said test results to identify a hole in said functional coverage by said test results that satisfies conditions of said coverage query and includes said core set, wherein said coverage query comprises a definition of said core set and further comprises properties of said hole;
• and
• a display linked to said processor and receiving instructions for presenting said hole so as to display a view of said coverage of said events in said cross-product space.