Sciweavers

171 search results - page 14 / 35
» Synthesis of Efficient Linear Test Pattern Generators
Sort
View
ATS
2003
IEEE
151views Hardware» more  ATS 2003»
14 years 2 months ago
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
Junhao Shi, Görschwin Fey, Rolf Drechsler
CGF
2002
129views more  CGF 2002»
13 years 9 months ago
Efficient Multidimensional Sampling
Image synthesis often requires the Monte Carlo estimation of integrals. Based on a generalized concept of stratification we present an efficient sampling scheme that consistently ...
Thomas Kollig, Alexander Keller
CP
2009
Springer
14 years 9 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
DAC
1994
ACM
14 years 1 months ago
Dynamic Search-Space Pruning Techniques in Path Sensitization
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
João P. Marques Silva, Karem A. Sakallah
ASYNC
2006
IEEE
92views Hardware» more  ASYNC 2006»
14 years 3 months ago
Low-Overhead Testing of Delay Faults in High-Speed Asynchronous Pipelines
We propose a low-overhead method for delay fault testing in high-speed asynchronous pipelines. The key features of our work are: (i) testing strategies can be administered using l...
Gennette Gill, Ankur Agiwal, Montek Singh, Feng Sh...