Future of Information and Communication Conference (FICC) 2023
2-3 March 2023
Publication Links
IJACSA
Special Issues
Computing Conference
Intelligent Systems Conference (IntelliSys)
Future Technologies Conference (FTC)
Future of Information and Communication Conference (FICC)
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}
}