Probabilistic regression suites for functional verification

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

2005-06-06

2010-06-01

Jones, Hugh (Department: 2128)

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

Modeling by mathematical expression

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

Reexamination Certificate

active

07729891

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: 5694540 (1997-12-01), Humelsine et al.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5805795 (1998-09-01), Whitten
patent: 5831998 (1998-11-01), Ozmizrak
patent: 5922079 (1999-07-01), Booth et al.
patent: 6061643 (2000-05-01), Walker et al.
patent: 6212667 (2001-04-01), Geer et al.
patent: 6269457 (2001-07-01), Lane
patent: 6272449 (2001-08-01), Passera
patent: 6298317 (2001-10-01), Wiemann
patent: 6351826 (2002-02-01), Kato
patent: 6356858 (2002-03-01), Malka et al.
patent: 6385607 (2002-05-01), Iyengar
patent: 6415396 (2002-07-01), Singh et al.
patent: 6490696 (2002-12-01), Wood et al.
patent: 6523151 (2003-02-01), Hekmatpour
patent: 6606735 (2003-08-01), Richardson et al.
patent: 6647513 (2003-11-01), Hekmatpour
patent: 6968286 (2005-11-01), Watkins
patent: 6986130 (2006-01-01), Boucher
patent: 7133816 (2006-11-01), Adir et al.
patent: 7181376 (2007-02-01), Fine et al.
patent: 7278056 (2007-10-01), Hekmatpour
patent: 7320090 (2008-01-01), Coulter et al.
patent: 7434184 (2008-10-01), Li
patent: 7454324 (2008-11-01), Seawright et al.
patent: 2002/0002698 (2002-01-01), Hekmatpour
patent: 2003/0061581 (2003-03-01), Baumgartner et al.
patent: 2003/0196191 (2003-10-01), Hartman et al.
patent: 2004/0154001 (2004-08-01), Haghighat et al.
patent: 2005/0096861 (2005-05-01), Ur et al.
patent: 2005/0278576 (2005-12-01), Hekmatpour
patent: 2008/0255813 (2008-10-01), Fine et al.
Shai Fine, and Avi Ziv, “Enhancing the Control and Efficiency of the Covering Process” IEEE International High Level Design Validation and Test Workshop (HLDVT), pp. 96-101, 2003.
Shai Fine, Shmuel Ur, Avi Ziv, “Probabilistic Regression Suites for Functional Verification,” dac, pp. 49-54, Design Automation Conference, 41st Conference on (DAC'04), 2004.
A. Hekmatpour, J. Coulter, “Coverage-Directed Management and Optimization of Random Functional Verification,” Proc. of International Test Conference, Charlotte NC, pp. 148-155, Sep. 2003.
S. Fine, A. Ziv, “Coverage Directed Test Generation for Functional Verification using Bayesian Networks”, Jun. 2-6, 2003, pp. 286-291, ACM.
Aug. 28, 2008-Probabilistic—Alternative.pdf.
Aug. 28, 2008-Probabilistic-Regression.pdf.

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-4221489