What is the VCS coverage check under Linux?
This article shows you what the VCS coverage check is under Linux. The content is concise and easy to understand. It will definitely brighten your eyes. I hope you can get something through the detailed introduction of this article.
In a chip verification project, code coverage and functional coverage are usually used to reflect the completeness of verification, and code coverage includes: line, state machine, flip, condition, branch coverage. In order to ensure the adequacy of verification, we need to ensure that the coverage of these five types of code reaches 100% as far as possible.
Line coverage line coverage requires 99-100%
State machine coverage FSM coverage
Conditional coverage conditional coverage
Flip coverage Toggle coverage: 0-> 1, 1-> 0
Path coverage Path coverage: statements in initial and always
Branch coverage branch coverage
-coverage of the conditions under which cm line+cond+fsm+branch+tgl is generated
Coverage script in Makefile file:
Execute vcs
The resulting .vdb file is information that generates coverage.
Step by step into cd, you can see the coverage file.
To check the coverage, enter the following command dve-covdir * .vdb &
Pop up the DVE interface and view coverage through DVE (method 1)
Double-click tb_state to enter, you can see that the code will be color-marked, covered in green, and uncovered in red
Line coverage
Toggle coverage
FSM coverage
Condition coverage
Branch coverage
View coverage through URG (method 2), which can be displayed in text format or web format
Click run to generate urgReport
Or on the command line urg-dir * .vdb &
After ls, you can see that urgReport,cd goes in and you can see the .html file and the .xml file.
A very detailed coverage report will be displayed
Tb file:
Module file
The above content is what is the VCS coverage check under Linux? have you learned any knowledge or skills? If you want to learn more skills or enrich your knowledge reserve, you are welcome to follow the industry information channel.
