142 search results - page 1 / 29 » An Algorithm for Locating Logic Design Errors |
ICCAD
1990
IEEE
13 years 9 months ago
1990
IEEE
GLVLSI
1997
IEEE
13 years 9 months ago
1997
IEEE
DATE
2002
IEEE
13 years 10 months ago
2002
IEEE
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified a...
HUC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
ICFP
2003
ACM
14 years 5 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...