/usr/share/covered/doc/html/chapter.faq.html is in covered-doc 0.7.10-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 31. FAQ</title><link rel="stylesheet" href="covered.css" type="text/css"><meta name="generator" content="DocBook XSL Stylesheets V1.71.1"><link rel="start" href="index.html" title="Covered User's Guide - 0.7.9"><link rel="up" href="part.faq.html" title="Part V. FAQ"><link rel="prev" href="part.faq.html" title="Part V. FAQ"><link rel="next" href="part.epilogue.html" title="Part VI. Epilogue"><center><img src="img/banner.jpg"></center><hr></head><body bgcolor="#dfeef8" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Chapter 31. FAQ</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="part.faq.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center">Part V. FAQ</th><td width="20%" align="right"> <a accesskey="n" href="part.epilogue.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="chapter" lang="en"><div class="titlepage"><div><div><h2 class="title"><a name="chapter.faq"></a>Chapter 31. FAQ</h2></div></div></div><p>
This page contains a list of accummulated Frequently Asked Questions. If you are having difficulties using Covered or have questions
that are not answered in the User's Guide, please check this list for answers. If you do not find the information that you are
looking for in the User's Guide or this FAQ, please send an e-mail to:
</p><p>
<code class="email"><<a href="mailto:phase1geo@gmail.com">phase1geo@gmail.com</a>></code>
</p><div class="qandaset"><dl><dt>31.1. <a href="chapter.faq.html#id36152285">
Is a CDD file generated from a newer version of Covered compatible with a CDD file generated from an older
version?
</a></dt><dt>31.2. <a href="chapter.faq.html#id36152319">
When I run the score command, Covered seems to take a long time to run. Is there anything that I can do to
speed up scoring?
</a></dt><dt>31.3. <a href="chapter.faq.html#id36152435">
I get an assertion error when running Covered, what should I do?
</a></dt><dt>31.4. <a href="chapter.faq.html#id36152472">
Covered is giving me a parser error for Verilog code that seems to be syntactically correct. What is
wrong?
</a></dt><dt>31.5. <a href="chapter.faq.html#id36152497">
Is Covered's Verilog parser Verilog-2001 compliant?
</a></dt><dt>31.6. <a href="chapter.faq.html#id36152521">
What is the difference between the stable release and the development release?
</a></dt></dl><table border="0" summary="Q and A Set"><col align="left" width="1%"><tbody><tr class="question"><td align="left" valign="top"><a name="id36152285"></a><a name="id36152288"></a><b>31.1.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>Is a CDD file generated from a newer version of Covered compatible with a CDD file generated from an older
version?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
The answer to this question is, "Well, that depends...". Since the format of the CDD file is only used by Covered, the contents
and format of this file may be changed to suit the needs of Covered. This means that it is possible for a CDD file created from
an older version of Covered to be incompatible with a newer version. Additionally, the developers of Covered will not make any
attempts to make sure that older CDD files can be properly read by a newer version of Covered. It is suggested that any CDD
files generated from a particular version of Covered be merged and/or reported on by that same version, and if Covered is
upgraded, new CDD files should be generated.
</p><p>
This being said, it is also a possibility that between versions of Covered a "backwards compatibility" may be maintained if a
change to this file's format is not required.
</p></td></tr><tr class="question"><td align="left" valign="top"><a name="id36152319"></a><a name="id36152321"></a><b>31.2.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>When I run the score command, Covered seems to take a long time to run. Is there anything that I can do to
speed up scoring?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
While Covered is continuously being enhanced to provide better performance for all commands (especially the score command), it may
still take a while to complete scoring if one or more of the following is true:
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p>The design being scored is sufficiently large</p></li><li><p>The VCD/LXT2/FST dumpfile is sufficiently large</p></li><li><p>The VCD/LXT2/FST dumpfile contains dump information for a part of the design not being scored</p></li><li><p>When Covered was configured, the --enable-debug and/or --enable-profiling options were specified</p></li></ol></div><p>
</p><p>
If reason (1) is true, speeding up each run can be achieved by one of the following suggestions:
</p><p>
</p><div class="itemizedlist"><ul type="disc"><li><p>
Reduce the scored design in size by eliminating modules or constructs from its design tree. (See <a href="chapter.score.html#section.score.t" title="9.3. Specifying What to Cover">Section 9.3, “Specifying What to Cover”</a>
for more information on how to accomplish this)
</p></li><li><p>
Split up the design into smaller parts along module boundaries and generate coverage for those parts.
</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note"><tr><td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="img/note.gif"></td><th align="left">Note</th></tr><tr><td align="left" valign="top"><p>
It is not currently possible to append these modules into one file. Merging and reporting must be done on these smaller
pieces independently from one another.
</p></td></tr></table></div></li></ul></div><p>
</p><p>
If reason (2) is true, nothing can be done except to shorten the run time of the diagnostics to produce shorter dumpfiles.
</p><p>
If reason (3) is true, the $dumpvars call in the simulator should be modified to only generate VCD/LXT2/FST dump information for the
modules included in scoring. If there are modules not being scored which are included in the $dumpvars calls, please remove
these unnecessary modules from dumpfile output.
</p><p>
If reason (4) is true, Covered should be reconfigured without these options specified. The debugging and profiling facilities
are enormous performance degraders and immediate simulation performance enhancement will be seen if Covered is rebuilt without
these options specified.
</p><p>
If you believe that you have a situation which is void of these prevailing reasons and Covered is still running slowly, please
send an e-mail to me. I will consider these problems to be of lower priority than actual bugs but will look into the situation
to see where code can be optimized.
</p></td></tr><tr class="question"><td align="left" valign="top"><a name="id36152435"></a><a name="id36152438"></a><b>31.3.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>I get an assertion error when running Covered, what should I do?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
Covered uses C assertions to make sure that internal pointers are not be referenced when NULL and that certain internal
situations do not arise. If you receive some type of assertion error when running Covered, it means that something went wrong
internally in Covered. The error is NOT due to user error. Please submit a bug report containing the assertion error message,
file and line number. Additionally, run the Covered command with the -D global option (covered -D
<span class="emphasis"><em>command</em></span>) and provide the output from doing this with the bug report (please only specify tail of output if
the output is too lengthy).
</p><p>
If Covered provides any other type of error message (something other than a core dump), Covered has found a user error that must
be fixed by the user. Please do not submit bug reports if these errors are encountered, unless you wish to add a question about
it to the FAQ.
</p></td></tr><tr class="question"><td align="left" valign="top"><a name="id36152472"></a><a name="id36152474"></a><b>31.4.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>Covered is giving me a parser error for Verilog code that seems to be syntactically correct. What is
wrong?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
If Covered displays a syntax (parse) error during the score command and the Verilog code is written correctly, it is because
Covered's parser is incomplete. Please submit a bug or send an e-mail containing a code snippet of the unsupported Verilog.
</p></td></tr><tr class="question"><td align="left" valign="top"><a name="id36152497"></a><a name="id36152499"></a><b>31.5.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>Is Covered's Verilog parser Verilog-2001 compliant?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
This is currently being worked on. The parser should properly parse all code; however, not all Verilog-2001 constructs are considered
for coverage due to lack of support for them in Covered's core. If there is code that will not parse that should, please submit a
bug report for this.
</p></td></tr><tr class="question"><td align="left" valign="top"><a name="id36152521"></a><a name="id36152523"></a><b>31.6.</b></td><td align="left" valign="top"><p>
<span class="bold"><strong>What is the difference between the stable release and the development release?</strong></span>
</p></td></tr><tr class="answer"><td align="left" valign="top"></td><td align="left" valign="top"><p>
Covered's development consists of two active "branches": the stable branch and the development branch. When a new stable branch is
created (ex. 0.4 or 0.5), it represents the latest version of the development branch. As Covered's development branch is worked on
(adding new features, changes to the core, etc.), the stable branch remains in a feature frozen stage. Only bug fixes,
documentation updates or minor enhancements (changes that will not affect the core code) are made to the stable branch. When a
number of these changes have been accumulated on the stable branch, a snapshot of the stable branch is made available for
public download (ex. 0.4.1). User's of the stable release should expect no major feature changes from minor rev to minor rev and
should expect a somewhat polished version of the project (few if any bugs and correct user documentation).
</p><p>
User's of the development releases should expect to see more bugs and fewer documentation consistencies (although an attempt is
made to minimize both) but should expect lots of feature additions, optimizations, improvements, etc. from release to release.
Bug findings found in the stable release are applied to the development branch when applicable. It is important to note that both
the stable and development releases contain a regression testbench that must fully pass before either release is made. This
should minimize bugs in both releases and give user's of either branch a level of confidence that the release is usable.
</p></td></tr></tbody></table></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="part.faq.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"><a accesskey="u" href="part.faq.html"><img src="img/up.gif" alt="Up"></a></td><td width="40%" align="right"> <a accesskey="n" href="part.epilogue.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Part V. FAQ </td><td width="20%" align="center"><a accesskey="h" href="index.html"><img src="img/home.gif" alt="Home"></a></td><td width="40%" align="right" valign="top"> Part VI. Epilogue</td></tr></table></div></body></html>
|