文章基本信息

标题：DUT Verification Through an Efficient and Reusable Environment with Optimum Assertion and Functional Coverage in SystemVerilog
本地全文：下载
作者：Deepika Ahlawat ; Neeraj Kr. Shukla
期刊名称：International Journal of Advanced Computer Science and Applications(IJACSA)
印刷版ISSN：2158-107X
电子版ISSN：2156-5570
出版年度：2014
卷号：5
期号：4
DOI：10.14569/IJACSA.2014.050422
出版社：Science and Information Society (SAI)
摘要：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%.
关键词：thesai; IJACSA; thesai.org; journal; IJACSA papers; Assertions; Coverage; Environment; Mailbox; Randomization;SystemVerilog; Threads; Transactions