Appeal No. 2002-1305 Page 3
Application No. 09/327,966
A further understanding of the invention can be achieved by reading the following
claim.
1. 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.
Claims 1-6 and 8-20 stand rejected under 35 U.S.C. § 102(b) as anticipated by
U.S. Patent No. 4,937,765 ("Shupe"). Claim 7 stands rejected under 35 U.S.C.
§ 103(a) as obvious over Shupe and H.M. Sneed ("Sneed"), State Convergence of
Embedded Realtime Programs, Proceedings of the Second Workshop on Software
Testing, Verification, and Analysis, p. 245 (1988).
Page: Previous 1 2 3 4 5 6 7 8 9 10 Next
Last modified: November 3, 2007