Sciweavers

585 search results - page 20 / 117
» Strategy Logic
Sort
View
ATS
1998
IEEE
170views Hardware» more  ATS 1998»
15 years 6 months ago
A Ring Architecture Strategy for BIST Test Pattern Generation
This paper presents a new effective Built-In Self Test (BIST) scheme that achieves 100% fault coverage with low area overhead, and without any modification of the circuit under tes...
Christophe Fagot, Olivier Gascuel, Patrick Girard,...
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 1 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...
LORI
2009
Springer
15 years 8 months ago
Expressing Properties of Coalitional Ability under Resource Bounds
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
ATS
2003
IEEE
110views Hardware» more  ATS 2003»
15 years 7 months ago
Chip-Level Diagnostic Strategy for Full-Scan Designs with Multiple Faults
Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of thes...
Yu-Chiun Lin, Shi-Yu Huang
ET
2006
98views more  ET 2006»
15 years 1 months ago
Accurate Whole-Chip Diagnostic Strategy for Scan Designs with Multiple Faults
1 Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of the...
Yu-Chiun Lin, Shi-Yu Huang