Patent ID: 6675138
Filing Date: 2004-01-06
Classification: G01R

Abstract:
A method for determining temporal coverage of a simulation model during a test verification process, the simulation model being constructed from a plurality of coverage items, the steps of the method being performed by a data processor, the method comprising the steps of:(a) providing a coverage group for examining during the test verification process, said coverage group including at least one coverage item of the simulation model; (b) providing a triggering event for determining when a state of said at least one coverage item of said coverage group is collected during the test verification process; (c) detecting said triggering event; (d) determining said state of said at least one coverage item as a collected coverage value; and (e) determining the temporal coverage at least according to a set of said collected coverage values, such that a coverage hole is determined according to an absence of a particular state of said at least one coverage item in said collected coverage value.