Properties of Output Sequences and their Use in Guiding Property-Based Test Generation for Synchronous Sequential Circuits
Electronic Design, Test and Applications, IEEE International Workshop on (2002)
Christchurch, New Zealand
Jan. 29, 2002 to Jan. 31, 2002
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.
I. Pomeranz and S. M. Reddy, "Properties of Output Sequences and their Use in Guiding Property-Based Test Generation for Synchronous Sequential Circuits," Electronic Design, Test and Applications, IEEE International Workshop on(DELTA), Christchurch, New Zealand, 2002, pp. 377.