Probabilistic regression suites for functional verification

Details Probabilistic regression suites for functional verification Probabilistic regression suites for functional verification

2011-01-04

2011-01-04

Shah, Kamini S (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Modeling by mathematical expression

C714S025000, C714S037000, C714S038110, C714S100000, C714S738000, C714S742000, C716S030000, C716S030000, C716S030000

Reexamination Certificate

active

07865340

ABSTRACT:
Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

REFERENCES:
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5673387 (1997-09-01), Chen et al.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5778169 (1998-07-01), Reinhardt
patent: 5831998 (1998-11-01), Ozmizrak
patent: 5922079 (1999-07-01), Booth et al.
patent: 6324678 (2001-11-01), Dangelo et al.
patent: 6356858 (2002-03-01), Malka et al.
patent: 6687662 (2004-02-01), McNamara et al.
patent: 6968514 (2005-11-01), Cooke et al.
patent: 7024589 (2006-04-01), Hartman et al.
patent: 7073143 (2006-07-01), Huang
patent: 7133816 (2006-11-01), Adir et al.
patent: 7139676 (2006-11-01), Barford
patent: 7278056 (2007-10-01), Hekmatpour
patent: 7370296 (2008-05-01), Koyfman et al.
patent: 7472051 (2008-12-01), Mariani et al.
patent: 7512839 (2009-03-01), Coulter et al.
patent: 7627843 (2009-12-01), Dozorets et al.
patent: 7673210 (2010-03-01), Benvenga
patent: 7729891 (2010-06-01), Fine et al.
patent: 2002/0002698 (2002-01-01), Hekmatpour
patent: 2003/0046613 (2003-03-01), Farchi et al.
patent: 2003/0208351 (2003-11-01), Hartman et al.
patent: 2003/0233600 (2003-12-01), Hartman et al.
patent: 2007/0010975 (2007-01-01), Fine et al.

Affiliated with

Also associated with

Rating

Probabilistic regression suites for functional verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Probabilistic regression suites for functional verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Probabilistic regression suites for functional verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2710105