Change search
ReferencesLink to record
Permanent link

Direct link
Automatic Verification of Microprocessor designs using Random Simulation
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2012 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Verification of microprocessor  cores has always been a major challenge and a crucial phase in the development of a microprocessor.  Increasing chip complexities and decreasing time-to-market windows has led to steady increase in the verification costs. Automatic verification of microprocessor  designs based on random simulation helps to quickly capture inconceivable corner cases that would not have been found by manual testing.

This thesis work focuses on the design and implementation of a Co-Simulation testbench platform together with a framework for generating random assembly programs for the functional verification of the OpenRISC Processor, OR1200. A Random Program Generator  based on configurable instruction weights is developed to generate large test volumes. These random test programs are used to verify the functional correctness  of the Register Transfer Logic model of a processor against a behavioral Instruction Set C Simulator. The simulation results show the effectiveness of this approach. Histograms are used to graphically illustrate the instruction and register coverage statistics.

Place, publisher, year, edition, pages
IT, 12 035
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-179273OAI: diva2:544017
Educational program
Masters Programme in Embedded Systems
Available from: 2012-08-13 Created: 2012-08-13 Last updated: 2012-08-13Bibliographically approved

Open Access in DiVA

fulltext(1516 kB)1444 downloads
File information
File name FULLTEXT01.pdfFile size 1516 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 1444 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 505 hits
ReferencesLink to record
Permanent link

Direct link