13 search results - page 3 / 3 » Error Diagnosis for Transistor-Level Verification |
SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
HPCA
2009
IEEE
14 years 5 months ago
2009
IEEE
The number of functional errors escaping design verification and being released into final silicon is growing, due to the increasing complexity and shrinking production schedules ...
KDD
2004
ACM
14 years 5 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...