-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Updated with textual code coverage report and improved xsim support. #87
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
(*) I tried a few Testbenches with the xilinx simulator and about 90% of them did not compile due to patchy support for one or the other code construct we use somewhere. I'm not sure it's worth putting much effort in supporting it.
vcover report -html -output ${main_coverage_db}_covhtml \ | ||
-testdetails -details -assert -directive -cvg -codeAll $main_coverage_db.ucdb |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
(+) Add the -srcfile
flag here as well?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, the HTML report option does not support -srcfile
.
The main goal is to give developers a choice in case all Questa licenses are blocked. When working on some smaller component or simply trying out some experiments, the Vivado simulator works quite well. Also, running the design through two different simulators sometimes reveals problems in the testbench, at least that was the case for me when I tried it on the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks, Looks good to me.
Code coverage
For sign-off purposes it is useful to have a textual code coverage available to append to the design. This PR adds that functionality, but also extends the Library definition with a boolean element
ReportCov
, which can be used to limit the reporting to specific files. The idea is to be able to create a coverage report for only the files associated with a specific library, but also to ignore e.g. files associated only with verification.Xsim
The
xsim
support has also been improved such that compilation is now much faster, which was achieved by switching to using a project file listing all source files and removing the explicit compilation of each source file individually. In addition, the flow was also updated to support the VCD dumping functionality, starting the GUI as well as the-to
and-duration
flags to control a batch simulation.