Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

The design and implementation of a modern micro-processor creates many reliability challenges. Design-

Summary: Abstract
The design and implementation of a modern micro-
processor creates many reliability challenges. Design-
ers must verify the correctness of large complex systems
and construct implementations that work reliably in var-
ied (and occasionally adverse) operating conditions. In
our previous work, we proposed a solution to these
problems by adding a simple, easily verifiable checker
processor at pipeline retirement. Performance analyses
of our initial design were promising, overall slowdowns
due to checker processor hazards were less than 3%.
However, slowdowns for some outlier programs were
In this paper, we examine closely the operation of the
checker processor. We identify the specific reasons why
the initial design works well for some programs, but
slows others. Our analyses suggest a variety of improve-
ments to the checker processor storage system. Through
the addition of a 4k checker cache and eight entry store
queue, our optimized design eliminates virtually all core


Source: Austin, Todd M. - Department of Electrical Engineering and Computer Science, University of Michigan


Collections: Engineering; Computer Technologies and Information Sciences