"Functional verification of an ASIC has become one of the most challenging tasks due to the increased system complexity and gate count. More than half of the time consumed in development of new ICs and systems is now spent on verification. This work investigates some of the software testing methodologies that can be adopted for efficient verification of VHDL models.
The model that is to be verified is a behavioral VHDL model of the 8051 microcontroller that is being developed at the University of Missouri-Rolla. Code coverage technology, black box testing, white box testing and software fault injection are the different software testing methodologies that are used for the verification of this model. Analysis of the model was done using data flow diagrams, state diagrams, program structure charts and program flow graphs.
Enough test instructions were included at the appropriate places in the test program to increase the testability and observability of the code. The level of different types of coverage achieved by different test programs while performing verification of the model was investigated. The types of faults that were found by each of the different testing methodologies were investigated and characterized. Test vectors developed for testing this behavioral VHDL model are useful for testing the register transfer level (RTL) model and also to test the final ASIC.
Each of the different testing techniques, black box testing, white box testing and fault injection testing, was found to uncover at least one new error that was not exposed by the other two techniques. Most of the errors and much useful information for error correction were obtained during white box testing"--Abstract, page iv.
Miller, Ann K.
Beetner, Daryl G.
McMillin, Bruce M.
Electrical and Computer Engineering
M.S. in Computer Engineering
University of Missouri--Rolla
xi, 98 pages
© 2000 Maya Sooraj Gemini, All rights reserved.
Thesis - Restricted Access
Print OCLC #
Electronic OCLC #
Link to Catalog Record
Electronic access to the full-text of this document is restricted to Missouri S&T users. Otherwise, request this publication directly from Missouri S&T Library or contact your local library.http://laurel.lso.missouri.edu/record=b4497246~S5
Gemini, Maya Sooraj, "Software testing methodologies applied to verification of VHDL model of 8051 microcontroller" (2000). Masters Theses. 1944.
Share My Thesis If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.