1399 search results - page 93 / 280 » Verification of Test Suites |
153
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
138
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Consumer informedness plays a critical role in determining consumer choice. Companies now use hyperdifferentiation and resonance marketing strategies to benefit from the long-tail....
125
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...
102
click to vote
ITC
2000
IEEE
15 years 9 months ago
2000
IEEE
The use of a single pass/fail threshold for IDDQ testing is unworkable as chip background currents increase to the point where they exceed many defect currents. This paper describ...
132
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Signature identification and verification has been a topic of interest and importance for many years in the area of biometrics. In this paper we present an effective method to per...