Improving the efficiency and quality of simulation-based behavioral model verification using dynamic Bayesian criteria

Proceedings - International Symposium on Quality Electronic Design, ISQED

Volumn 2002-January, Issue , 2002, Pages 304-309

  Hajjar, A ^a   Chen, T ^a  

^a Department of Mechanical Engineering   (United States)

Author keywords

Bayesian methods; Computational modeling; Computer simulation; Probability distribution; Software engineering; Software testing; Switches; Time measurement; Time to market; Timing

Indexed keywords

BAYESIAN NETWORKS; COMPUTER SIMULATION; COMPUTER SOFTWARE; DISTRIBUTION FUNCTIONS; EFFICIENCY; PROBABILITY DISTRIBUTIONS; REDUCED INSTRUCTION SET COMPUTING; SOFTWARE ENGINEERING; SOFTWARE TESTING; SWITCHES; TIME MEASUREMENT; TIME SWITCHES;

BAYESIAN CRITERION; BAYESIAN METHODS; COMPUTATIONAL MODEL; CORRELATION FUNCTION; EXPERIMENTAL EVALUATION; STATISTICAL MODELING; TIME TO MARKET; TIMING;

STATISTICAL TESTS;

EID: 84948453226     PISSN: 19483287     EISSN: 19483295     Source Type: Conference Proceeding    
DOI: 10.1109/ISQED.2002.996761     Document Type: Conference Paper

References (19)

1. B. Barrera, "Code coverage analysis-essential to a safe design", Electronic Engineering, pp 41-44, November 1998
2. B. Dickinson, S. Shaw, "Software techniques applied to VHDL design", New Electronics, n9, pp 63-65, May 1995
3. J. Gately, "Verifying a million gate processor", Integrated System Design, pp 19-24, 1997
4. W. Howden, "Confidence-based reliability and statistical coverage estimation", ISSRE'97, pp 283-291, Nov. 1997
5. S. Chen, S. Mills, "A binary markov process model for random testing", Software Eng., v22, n3, pp 218-223, 1996
6. S. Dalal, C. Mallows, "When should one stop testing software?", J. Am. Stat. Asso., v 83, n 403, pp 872-879, 1998
7. M. Sahinoglu, "Compound Poisson software reliability model", Software Eng., v18, n7, pp 624-630, July 1992
8. S. Gokhale, K. Trivedi, "Log-logistic software reliability growth model", University of California, pp 34-41, 1998
9. A. Goel, "Software reliability models: assumptions, limitations, and applicability", Software Eng., v SE-11, n 12, 1985
10. A. Hajjar, et al., "On statistical Behavior of Branch Coverage in Testing Behavioral VHDL Models", HLDVT'00, 2000
11. A. von Mayrhauser, et al., "On choosing test criteria for behavioral level hardware design verification", HLDVT'00, Berkeley, CA, Nov. 2000.
12. M. Shainoglu, et al., "On the efficiency of a compound Poisson stopping rule for mixed strategy testing", IEEE Aerospace Conference, Track#7, March 1999
13. T. Chen, et al., "Achieving the quality for behavioral models with minimum effort", ISQED'00, March 2000
14. P. Randolph, M. Sahinoglu, "A stopping rule for a compound Poisson random variable", Applied Stochastic Models and Data Analysis, v11, pp 135-143, 1995
15. J. Musa, A. Iannion, K. Okumoto, Software reliability: measurement, prediction, application, McGraw-Hill, 1987.
16. T. Chen, I. Munn, A. von Mayrhauser, A. Hajjar, "Efficient verification of behavioral models using the sequential sampling technique", VLSI'99, Brazil, 1999
17. A. Hajjar, et al., "Stopping criteria comparison: towards high quality behavioral verification", ISQED'01, San Jose, CA, March 2001.
18. A. Hajjar, et al., "High quality behavioral verification using statistical stopping criteria", DATE'01, Germany, 2001
19. W. Hill, W. Hunter, "A review of Response Surface Methodology: A literature review", Technometrics, v 8, 1966