Future of Information and Communication Conference (FICC) 2021
29-30 April 2021
Publication Links
IJACSA
Special Issues
Computing Conference 2021
Intelligent Systems Conference (IntelliSys) 2021
Future Technologies Conference (FTC) 2021
Future of Information and Communication Conference (FICC) 2021
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJACSA.2014.050422
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 5 Issue 4, 2014.
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}
}