Gentest: An Automatic Test-Generation System for Sequential Circuits

  • Authors:
  • Wu-Tung Cheng;Tapan J. Chakraborty

  • Affiliations:
  • AT&T Bell Labs., Princeton, NJ;AT&T Bell Labs., Princeton, NJ

  • Venue:
  • Computer
  • Year:
  • 1989

Quantified Score

Hi-index 4.12

Visualization

Abstract

A description is given of Gentest, with emphasis on STG2, a sequential test generator that uses the Back test-generation algorithm and the Split value model. The performance of STG2 on a Convex C-1 computer is compared with that of its predecessor, STG1 and STG1.5. Results are also presented for another set of experiments for Gentest on a Sun 3/60 workstation.