Sciweavers

55 search results - page 1 / 11
» Bounds on pseudoexhaustive test lengths
Sort
View
TVLSI
1998
95views more  TVLSI 1998»
13 years 4 months ago
Bounds on pseudoexhaustive test lengths
Abstract—Pseudoexhaustive testing involves applying all possible input patterns to the individual output cones of a combinational circuit. Based on our new algebraic results, we ...
Rajagopalan Srinivasan, Sandeep K. Gupta, Melvin A...
ITC
1989
IEEE
70views Hardware» more  ITC 1989»
13 years 8 months ago
The Pseudo-Exhaustive Test of Sequential Circuits
: The concept of a pseudo-exhaustive test for sequential circuits is introduced in a similar way as it is used for combinational networks. Instead of test sets one has to apply pse...
Sybille Hellebrand, Hans-Joachim Wunderlich
ATS
2002
IEEE
108views Hardware» more  ATS 2002»
13 years 9 months ago
Fault Set Partition for Efficient Width Compression
In this paper, we present a technique for reducing the test length of counter-based pseudo-exhaustive built-in self-testing (BIST) based on width compression method. More formally...
Emil Gizdarski, Hideo Fujiwara
JSAT
2006
119views more  JSAT 2006»
13 years 4 months ago
A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. This algorithm uses the clauseshorte...
Evgeny Dantsin, Alexander Wolpert
COMBINATORICA
1999
89views more  COMBINATORICA 1999»
13 years 4 months ago
A Sublinear Bipartiteness Tester for Bounded Degree Graphs
We present a sublinear-time algorithm for testing whether a bounded degree graph is bipartite or far from being bipartite. Graphs are represented by incidence lists of bounded len...
Oded Goldreich, Dana Ron