285 search results - page 41 / 57 » Performance and Functional Verification of Microprocessors |
149
Voted
DAC
2006
ACM
15 years 5 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
116
click to vote
MTV
2007
IEEE
15 years 10 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
122
click to vote
ISQED
2000
IEEE
15 years 8 months ago
2000
IEEE
Power and energy consumption of digital systems may increase significantly during testing. This extra power consumption due to test application may give rise to severe hazards to ...
139
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
132
Voted
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...