Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Designing Robust Microarchitectures Todd M. Austin
 

Summary: 6.4
Designing Robust Microarchitectures
Todd M. Austin
Universityof Michigan
Advanced ComputerArchitecture
Laboratoly
Departmentof Electrical Engineering
and Computer Science
(734) 936-0370, austinOumich.edu
ABSTRACT
A fault-tolerant approach to microprocessor design, developed at
the University of Michigan, is presented. Our approach is based
on the use of in-situ checker components that validate the
functional and electrical characteristics of complex
microprocessor designs. Two design techniques are highlighted
a low-cost double-sampling latch design capable of eliminating
power-hungry voltage margins, and a formally verifiable checker
co-processor that validates all computation produced by a
complex microprocessor core. By adopting a "better than worst-
case" approach to system design, it is possible to address

  

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

 

Collections: Engineering; Computer Technologies and Information Sciences