Patent ID: 7203882
Filing Date: 2007-04-10
Classification: G01R

Abstract:
1. A method for verifying a design, comprising the steps of: executing test programs on said design, said test programs being generated responsively to directives, execution of said test programs causing occurrences of events that are associated with said directives; analyzing said occurrences in order to determine a coverage of a coverage space of said design by said test programs; defining a set of non-covered events of said coverage space in response to said step of analyzing, wherein said events are selected from a group consisting of a transfer of data, a transfer of a control signal, and an execution of a transaction in said design; defining a cluster of said non-covered events by segmenting said non-covered events into subsets, such that a degree of association with respective ones of said directives with which members of said subsets are associated is relatively strong among members of each subset and relatively weak with respect to members of other subsets; associating a new directive with said non-covered events in said cluster; and generating a new test program responsively to said new directive for re-execution on said design.