Abstract: Verification is the most integral part of chip manufacturing and testing and is as important as the designing. Verification provides with the actual implementation and functionality of a Design under Test (DUT) and checks if it meets the specifications or not. In this paper, a communication protocol has been verified as per the design specifications. The environment so created completely wraps the design under verification and observes an optimum functional and assertion based coverage. The coverage so obtained is 100% assertion based coverage and 83.3% functional coverage using SV (SystemVerilog). The total coverage so obtained is 91.66%.

Deepika Ahlawat and Neeraj Kr. Shukla, “DUT Verification Through an Efficient and Reusable Environment with Optimum Assertion and Functional Coverage in SystemVerilog” International Journal of Advanced Computer Science and Applications(IJACSA), 5(4), 2014. http://dx.doi.org/10.14569/IJACSA.2014.050422

@article{Ahlawat2014,
title = {DUT Verification Through an Efficient and Reusable Environment with Optimum Assertion and Functional Coverage in SystemVerilog},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2014.050422},
url = {http://dx.doi.org/10.14569/IJACSA.2014.050422},
year = {2014},
publisher = {The Science and Information Organization},
volume = {5},
number = {4},
author = {Deepika Ahlawat and Neeraj Kr. Shukla}
}