Skip to main content

Design of an Automated Validation Environment For A Radiation Hardened MIPS Microprocessor

Abstract Ever reducing time to market, along with short product lifetimes, has created a need to shorten the microprocessor design time. Verification of the design and its analysis are two major components of this design cycle. Design validation techniques can be broadly classified into two major categories: simulation based approaches and formal techniques. Simulation based microprocessor validation involves running millions of cycles using random or pseudo random tests and allows verification of the register transfer level (RTL) model against an architectural model, i.e., that the processor executes instructions as required. The validation effort involves model checking to a high level description or simulation of the design against the RTL implem... (more)
Created Date 2011
Contributor Sharma, Abhishek (Author) / Clark, Lawrence (Advisor) / Holbert, Keith (Committee member) / Shrivastava, Aviral (Committee member) / Arizona State University (Publisher)
Subject Engineering / Electrical Engineering / Computer Engineering / Microprocessors / Random Testing / Verification
Type Masters Thesis
Extent 97 pages
Language English
Reuse Permissions All Rights Reserved
Note M.S. Electrical Engineering 2011
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
858.5 KB application/pdf
Download Count: 3933

Description Dissertation/Thesis