Sciweavers

6800 search results - page 247 / 1360
» Testing with Functions as Specifications
Sort
View
150
Voted
VLSID
2007
IEEE
160views VLSI» more  VLSID 2007»
16 years 5 months ago
Spectral RTL Test Generation for Microprocessors
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
Nitin Yogi, Vishwani D. Agrawal
DSD
2006
IEEE
126views Hardware» more  DSD 2006»
15 years 11 months ago
Off-Line Testing of Delay Faults in NoC Interconnects
Testing of high density SoCs operating at high clock speeds is an important but difficult problem. Many faults, like delay faults, in such sub-micron chips may only appear when th...
Tomas Bengtsson, Artur Jutman, Shashi Kumar, Raimu...
ERLANG
2004
ACM
15 years 10 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
124
Voted
ITC
2003
IEEE
93views Hardware» more  ITC 2003»
15 years 10 months ago
On Reducing Wrapper Boundary Register Cells in Modular SOC Testing
Motivated by the increasing area and performance overhead caused by wrapping the embedded cores for modular SOC testing, this paper proposes a solution for reducing the number of ...
Qiang Xu, Nicola Nicolici
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
15 years 10 months ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero