Requirement Driven IP Verification using SVUnit
Abstract
The purpose of this thesis is to explore the possibility of using the SVUnit framework as a basis for a requirement driven approach to verification. The idea is to eventually use this framework as a tool for standardization of unit tests so that they can reliably and systematically be created to a set standard that can say something about the nature of the verification
The aim is to create a set of tests that with sufficient coverage can be relied on in such a way that if all tests passes for the considered IP, then this functionality would not have to be re-visited for verification of the next higher level in the design hierarchy.
A solution to this has been proposed and utilizes a partition of the design under test to internal and environmental parts. By doing this partitioning, verifying the the design in the proposed manner and finally are interfaced according to these specifications, then the internal verification should be valid no matter what.
Some work towards such a verification has been made, but not completed, using a UART design supplemented by a company external to the university the author is currently affiliated with..