Skip to main content
Article thumbnail
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


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:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

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