10 search results - page 2 / 2 » Error Diagnosis in Equivalence Checking of High Performance ... |
KBSE
2009
IEEE
14 years 2 hour ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
TVLSI
2010
12 years 12 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
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 ...
GLOBECOM
2006
IEEE
13 years 11 months ago
2006
IEEE
— In this paper we present protograph codes with a small number of degree-3 nodes and one high degree node. The iterative decoding threshold for proposed rate 1/2 codes are lower...