106 search results - page 9 / 22 » Automated Source-Level Error Localization in Hardware Design... |
ECBS
2007
IEEE
14 years 1 months ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
SIGMETRICS
1992
ACM
13 years 11 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...