Sciweavers

1175 search results - page 15 / 235
» A scalable method for the generation of small test sets
Sort
View
ATS
2000
IEEE
145views Hardware» more  ATS 2000»
14 years 5 days ago
Compaction-based test generation using state and fault information
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
Ashish Giani, Shuo Sheng, Michael S. Hsiao, Vishwa...
CADE
2006
Springer
14 years 8 months ago
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
Peter Baumgartner, Renate A. Schmidt
ICIP
2003
IEEE
14 years 9 months ago
Highly scalable video compression with scalable motion coding
A scalable video coder cannot be equally efficient over a wide range of bit-rates unless both the video data and the motion information are scalable. We propose a wavelet-based, h...
Andrew Secker, David Taubman
PTS
2010
132views Hardware» more  PTS 2010»
13 years 6 months ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
FMICS
2006
Springer
13 years 11 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...