| Title |
Code Coverage Verification Method using Questa |
| Authors |
엄유진(Yujin Eom) ; 양희훈(Heehun Yang) ; 심용기(Yonggi Sim) ; 배득우(Deukwoo Bae) ; 오민식(Minsik Oh) ; 유호영(Hoyoung Yoo) |
| DOI |
https://doi.org/10.5573/ieie.2024.61.12.32 |
| Keywords |
Code coverage; Questa; DO-254; Verification |
| Abstract |
Advances in semiconductor process technology have increased integration density, which has made strong verification techniques more important in digital circuit design. This paper introduces a method for code coverage verification using Questa during the RTL code verification process. It first explains how code coverage works with the Questa tool and explores two examples: a counter and a FIFO. These examples show how to find and fix design errors in detail. This demonstrates that code coverage is an effective tool for improving the reliability and integrity of hardware design. Lastly, the paper highlights how code coverage can enhance the completeness and integrity of digital circuits, contributing to the stability and reliability of systems in industries like aerospace, defense, and automotive. |