248 search results - page 18 / 50 » Test exploration and validation using transaction level mode... |
ATS
1998
IEEE
14 years 22 days ago
1998
IEEE
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
IFIP
2001
Springer
14 years 27 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
AGILEDC
2006
IEEE
14 years 2 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
The detection of all open defects within 6T SRAM cells is always a challenge due to the significant test time requirements. This paper proposes a new design-for-test (DFT) techniq...