980 search results - page 20 / 196 » Novel Test Pattern Generators for Pseudo-Exhaustive Testing |
FDTC
2010
Springer
13 years 7 months ago
2010
Springer
The testability of the cryptographic cores brings in an extra dimension to the process of digital circuits testing
IJNSEC
2010
13 years 4 months ago
2010
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
When testing delay faults on critical paths, conventional structural test patterns may be applied in functionally-unreachable states, leading to over-testing or under-testing of t...
TCAD
2010
13 years 3 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...