14 search results - page 2 / 3 » Deductive Diagnosis of Digital Circuits |
VTS
1999
IEEE
13 years 9 months ago
1999
IEEE
AAAI
2008
13 years 7 months ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
CODES
2005
IEEE
13 years 11 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
DSD
2005
IEEE
13 years 11 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...