Return to search

The Design Verification Methodology for an Advanced Microprocessor

According to references, testing and verification of a hardware circuit project
occupy about 60%˜70% of project time. Now that product cycle time is decreasing,
verification methodology is an important parameter for effective and successful
completion of a design project. Enhanced processor functions also make verification
conditions more difficult.
In this thesis the processor SYS32IME III, which is constructed based on architecture
of ARM 1022E, is verified by using V5TE instruction set. This thesis
focus on processor verification flow and others to help verification method. The
verification language that is used to help generate testbench are described in this
paper. Also, corner cases are generated, producing test cases that may be reused
in different verification environments. Lastly, errors from CPU architecture, verification
environments, interface wrapper and instruction set simulator were found
in different verification environment and fixed. To conclude the study, insertion
of self-implemented RTL monitor circuit into CPU architecture supply verification
information about testbench¡¦s coverage of functional verification.

Identiferoai:union.ndltd.org:NSYSU/oai:NSYSU:etd-0822108-181607
Date22 August 2008
CreatorsZhong, Jing-Kun
ContributorsChing-Lung Su, Jih-ching Chiu, Ing-Jer Huang, Shu-Min Li
PublisherNSYSU
Source SetsNSYSU Electronic Thesis and Dissertation Archive
LanguageCholon
Detected LanguageEnglish
Typetext
Formatapplication/pdf
Sourcehttp://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0822108-181607
Rightsrestricted, Copyright information available at source archive

Page generated in 0.0017 seconds