Verification of a Whisbone QSPI peripheral

OData support
Dr. Fehér Béla
Department of Measurement and Information Systems

The growth of the complexity of integrated circuits, caused the growth of possible errors in them. This made necessary to create and adapt new kind of verification tools and methodologies, which allows us to make more comprehensive tests, to prove the right behavior of a digital system.

In my thesis, I will introduce the functional verification approach on an open source Wishbone-QSPI Flash Controller, based on the guidance of UVM (Universal Verification Methodology), using „e” hardware verification language. The module was downloaded from OpenCores webpage. The tools were provided by the ASIC verification team of evosoft Hungary Kft. The aim of the project was to get familiar with functional verification, which is one of the most important and widely used phase of digital hardware production, learn how to build up a verification environment, and show how it works through a project.

First I will introduce the necessary theoretical knowledge of verification, then show the necessary language elements of the two most popular hardware verification languages „e” and SystemVerilog. Next I will introduce the UVM standard, give a short summary from the device I used, and the verification environment I made. In the end, I summarize the results of the tests, and review the experience I've earned through the semester.


Please sign in to download the files of this thesis.