Sciweavers

584 search results - page 25 / 117
» Verification-Aware Microprocessor Design
Sort
View
MICRO
2005
IEEE
145views Hardware» more  MICRO 2005»
14 years 1 months ago
A Mechanism for Online Diagnosis of Hard Faults in Microprocessors
We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we...
Fred A. Bower, Daniel J. Sorin, Sule Ozev
DAC
2000
ACM
14 years 9 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
DAC
2007
ACM
14 years 9 months ago
Scalability of 3D-Integrated Arithmetic Units in High-Performance Microprocessors
Three-Dimensional integration provides a simultaneous improvement in wire-related delay and power consumption of microprocessor circuits. Prior work has looked at the performance,...
Kiran Puttaswamy, Gabriel H. Loh
DAC
2000
ACM
14 years 9 months ago
Impact of interconnect variations on the clock skew of a gigahertz microprocessor
Due to the large die sizes and tight relative clock skew margins, the impact of interconnect manufacturing variations on the clock skew in today's gigahertz microprocessors c...
Ying Liu, Sani R. Nassif, Lawrence T. Pileggi, And...
APSCC
2008
IEEE
14 years 2 months ago
Implementing Speech-Recognition Microprocessor into Intelligent Control-System of Home-Appliance
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
Chun-Liang Hsu, Sheng-Yuan Yang, Wei-Bin Wu