Location of Repository

How Much Testing is Enough? - Applying Stopping Rules to Behavioral Model Testing

By Tom Chen, Mehmet Sahinoglu, Anneliese Von Mayrhauser, Amjad Hajjar and Charles Anderson

Abstract

Testing behavioral models before they are released to the synthesis and logic design phase is a tedious process, to say the least. Acommon practice is the test-it-to-death approach in which millions or even billions of vectors are applied and the results are checked for possible bugs. The vectors applied to behavioral models include functional vectors, but the significant amount of the vectors are random in nature, including random combinations of instructions. In this paper, we present and evaluate a stopping rule that can be used to determine when to stop the current testing phase using a given testing technique, and move on to the next phase using a different testing technique. We demonstrate the use of the stopping rule on two complex VHDL models that were tested for branch coverage with 4 different testing phases. We compare savings and quality of testing both with and without using the stopping rule. 1. Introduction With the advent of VLSI technology and increasing complexity o..

Year: 1999
OAI identifier: oai:CiteSeerX.psu:10.1.1.31.7001
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.engr.colostate.edu/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.