Sciweavers

149 search results - page 24 / 30
» Parametric Fault Simulation and Test Vector Generation
Sort
View
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
14 years 22 days ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark
VTS
2007
IEEE
129views Hardware» more  VTS 2007»
14 years 1 months ago
Supply Voltage Noise Aware ATPG for Transition Delay Faults
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
DAC
1997
ACM
13 years 11 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Aarti Gupta, Sharad Malik, Pranav Ashar
ICT
2004
Springer
194views Communications» more  ICT 2004»
14 years 22 days ago
Competitive Neural Networks for Fault Detection and Diagnosis in 3G Cellular Systems
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...
Guilherme De A. Barreto, João Cesar M. Mota...
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
13 years 7 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo