This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The First IEEE International Workshop on Electronic Design, Test and Applications (DELTA '02)
Properties of Output Sequences and their Use in Guiding Property-Based Test Generation for Synchronous Sequential Circuits
Christchurch, New Zealand
January 29-January 31
ISBN: 0-7695-1453-7
Irith Pomeranz, Purdue University
Sudhakar M. Reddy, University of Iowa
We show that output sequences produced by synchronous sequential circuits in response to test sequences that achieve high fault coverage have certain distinct properties.We demonstrate that these properties are useful as part of a property-based (simulation-based)test generation procedure.The importance of these properties is that they provide additional heuristics to drive property-based test generation,which to-date achieves the highest fault coverages reported for benchmark circuits.These additional heuristics are expected to improve the ability of property-based test generation procedures to achieve complete fault coverage in an ef .cient manner.
Citation:
Irith Pomeranz, Sudhakar M. Reddy, "Properties of Output Sequences and their Use in Guiding Property-Based Test Generation for Synchronous Sequential Circuits," delta, pp.377, The First IEEE International Workshop on Electronic Design, Test and Applications (DELTA '02), 2002
Usage of this product signifies your acceptance of the Terms of Use.