The Community for Technology Leaders
RSS Icon
Subscribe
Christchurch, New Zealand
Jan. 29, 2002 to Jan. 31, 2002
ISBN: 0-7695-1453-7
pp: 377
Irith Pomeranz , Purdue University
Sudhakar M. Reddy , University of Iowa
ABSTRACT
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, 2002, Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '2002, Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '2002 2002, pp. 377, doi:10.1109/DELTA.2002.994654
278 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool