Proptest: a property based test pattern generator for sequential circuits using test compaction

  • Authors:
  • Ruifeng Guo;Sudhakar M. Reddy;Irith Pomeranz

  • Affiliations:
  • Electrical & Computer Engineering Department, University of Iowa, Iowa City, IA;Electrical & Computer Engineering Department, University of Iowa, Iowa City, IA;Electrical & Computer Engineering Department, University of Iowa, Iowa City, IA

  • Venue:
  • Proceedings of the 36th annual ACM/IEEE Design Automation Conference
  • Year:
  • 1999

Quantified Score

Hi-index 0.01

Visualization

Abstract