1446 search results - page 109 / 290 » Formal analysis of hardware requirements |
153
Voted
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
154
click to vote
ETS
2011
IEEE
14 years 5 months ago
2011
IEEE
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
164
Voted
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
188
click to vote
CODES
2011
IEEE
14 years 5 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
179
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...