Sciweavers

4192 search results - page 123 / 839
» Efficient testing of groups
Sort
View
DATE
2007
IEEE
91views Hardware» more  DATE 2007»
14 years 5 months ago
Remote testing and diagnosis of System-on-Chips using network management frameworks
This paper presents a new approach that allows remote testing and diagnosis of complex (Systems-on-Chip) and embedded IP cores. The approach extends both on-chip design-for-test (...
Oussama Laouamri, Chouki Aktouf
ASPDAC
2004
ACM
78views Hardware» more  ASPDAC 2004»
14 years 4 months ago
On compliance test of on-chip bus for SOC
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yan...
EH
2000
IEEE
123views Hardware» more  EH 2000»
14 years 3 months ago
The Test Vector Problem and Limitations to Evolving Digital Circuits
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
Kosuke Imamura, James A. Foster, Axel W. Krings
FATES
2006
Springer
14 years 2 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
APPROX
2010
Springer
135views Algorithms» more  APPROX 2010»
13 years 11 months ago
Monotonicity Testing and Shortest-Path Routing on the Cube
We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing properties of the hy...
Jop Briët, Sourav Chakraborty, David Garc&iac...