/usr/share/covered/doc/html/chapter.gui.line.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 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 18. Navigating the Line Coverage Window</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.gui.html" title="Part IV. Graphical User Interface"><link rel="prev" href="chapter.gui.main.html" title="Chapter 17. Navigating the Main Window"><link rel="next" href="chapter.gui.toggle.html" title="Chapter 19. Navigating the Toggle Coverage Window"><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 18. Navigating the Line Coverage Window</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.gui.main.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center">Part IV. Graphical User Interface</th><td width="20%" align="right"> <a accesskey="n" href="chapter.gui.toggle.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.gui.line"></a>Chapter 18. Navigating the Line Coverage Window</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.uncov">18.1. Viewing Uncovered Lines</a></span></dt><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.excl">18.2. Excluding/Included Uncovered Lines from Line Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.gui.line.html#section.gui.line.cov">18.3. Viewing Covered Lines</a></span></dt></dl></div><p>
Line coverage is the quickest way to determine what logic in your design is being exercised and which logic has not
be exercised during simulation. If a line was found to not be simulated, this is an indication that there was some
event that did not occur or did not occur at the proper time to cause a previous conditional expression to be
evaluated to true or false. For example, if a block of code looked something like:
</p><p>
</p><div class="example"><a name="example.gui.line"></a><p class="title"><b>Example 18.1. Line Coverage Example</b></p><div class="example-contents"><pre class="programlisting">
always @(posedge clock) // Line 1
if( a ) // Line 2
b <= 1'b0; // Line 3
else // Line 4
b <= 1'b1; // Line 5
</pre></div></div><p><br class="example-break">
</p><p>
If line 3 was shown to be not covered, this would indicate that at the positive edge of the term "clock", the value
of "a" never evaluated to a value of 1 (true). To make line 3 become covered, we would need to setup a situation in
the diagnostic that caused "a" to become true at the positive edge of the term "clock".
</p><p>
On the other hand, if all lines 2 - 5 were found to be uncovered, this would indicate the the term "clock" never made
a transition from some value to a 1 (true) value during simulation.
</p><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.line.uncov"></a>18.1. Viewing Uncovered Lines</h2></div></div></div><p>
To view line coverage for all uncovered lines for a specific module/instance, do the following:
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p>
Make sure that the <span class="bold"><strong>Show Uncovered</strong></span> menu item in the
<a href="chapter.gui.main.html#section.gui.main.reportmenu" title="The Report Menu">report menu</a> is selected.
</p></li><li><p>
Select the line coverage metric in the <a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a> by left-clicking
on selection button to the left of "Line".
</p></li><li><p>
Select one of the modules/instances that is highlighted in the uncovered color scheme (to change this color
scheme, see <a href="chapter.gui.preferences.html" title="Chapter 28. Navigating the Preferences Window">Chapter 28, <i>Navigating the Preferences Window</i></a>) in the <a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a>.
This will cause the selected module/instance source code to be displayed in the
<a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>.
</p></li></ol></div><p>
</p><p>
Once the selected module/instance has been displayed, scroll down in the Coverage File Viewer window (using the
scroll bars to the right and below the Coverage File Viewer window) until you have reached a line that is
highlighted in the uncovered color scheme. The line number of the highlighted line will be printed to the left of
the source code line. This line represents a line that was found to not be hit during the simulation of this
module/instance.
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.line.excl"></a>18.2. Excluding/Included Uncovered Lines from Line Coverage</h2></div></div></div><p>
Any uncovered line in the design may be included/excluded from coverage consideration. To the left of each
uncovered line is an underlined "I" (line is currently included in coverage) or "E" (line is currently excluded
in coverage). Clicking on an "I" will cause a <a href="chapter.gui.exclude.html" title="Chapter 29. The Exclusion Reason Popup Window">exclusion reason popup
window</a> to be displayed, allowing you to specify a reason for excluding this line. Once a reason has been
entered, the coverage exclusion property of the line will change to an "E" and be highlighted in the "covered"
color scheme and the summary line coverage information will be recalculated and redisplayed in the
<a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a> to reflect the current status of line coverage for the
current module/instance. Clicking on an "E" will cause the current line to be displayed in the "uncovered"
color scheme, the "E" will change to an "I", and the summary line coverage will be recalculated and redisplayed
in the summary listbox. <a href="chapter.gui.line.html#figure.gui.line.include" title="Figure 18.1. Example of uncovered line included for line coverage consideration">Figure 18.1, “Example of uncovered line included for line coverage consideration”</a> shows an uncovered line that is included for
coverage consideration. <a href="chapter.gui.line.html#figure.gui.line.exclude" title="Figure 18.2. Example of uncovered line excluded for line coverage consideration">Figure 18.2, “Example of uncovered line excluded for line coverage consideration”</a> shows the same line which is now excluded
from coverage consideration.
</p><p>
</p><div class="figure"><a name="figure.gui.line.include"></a><p class="title"><b>Figure 18.1. Example of uncovered line included for line coverage consideration</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/line_incl.gif" alt="Example of uncovered line included for line coverage consideration"></div></div></div><p><br class="figure-break">
</p><p>
</p><div class="figure"><a name="figure.gui.line.exclude"></a><p class="title"><b>Figure 18.2. Example of uncovered line excluded for line coverage consideration</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/line_excl.gif" alt="Example of uncovered line excluded for line coverage consideration"></div></div></div><p><br class="figure-break">
</p><p>
In addition to changing the line coverage information, the combinational logic coverage information for an
uncovered statement on that line will also be implicitly excluded from coverage (though the exclude properties for
each subexpression of the statement will not change).
</p><p>
If the user excludes any line in the design, the <span class="bold"><strong>Save CDD...</strong></span> option in the
<a href="chapter.gui.main.html#section.gui.main.filemenu" title="The File Menu">file</a> menu will be enabled. This allows the user to save the excluded property
either back to the CDD file (or to a newly named CDD file). Doing so will allow the user to load the CDD file at a
different time and retain the knowledge of which lines have been excluded/included for coverage. Additionally, if
a saved CDD file with coverage exclusion is merged with another CDD file, the excluded line information is
preserved for the resulting merged CDD file.
</p><p>
If a line has been excluded from coverage and an exclusion reason was specified, you can view the reason for exclusion
by right-click-and-hold on the "E" on the desired line. This will cause a tooltip-style window to be displayed specifying
the reason for exclusion. The background color of the tooltip will be the same color as the "covered" background color
to help distinguish it from a normal tooltip. To cause the exclusion reason tooltip to disappear, simply release the
button.
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.line.cov"></a>18.3. Viewing Covered Lines</h2></div></div></div><p>
To view line coverage for all covered lines for a specific module/instance, do the following:
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p>
Make sure that the <span class="bold"><strong>Show Covered</strong></span> menu item in the
<a href="chapter.gui.main.html#section.gui.main.reportmenu" title="The Report Menu">report</a> menu is selected.
</p></li><li><p>
Select the line coverage metric in the <a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a> by left-clicking on the
selection button to the left of "Line".
</p></li><li><p>
Select one of the modules/instances in the <a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a> that shows that at least
one line was considered coverable by Covered.
</p></li></ol></div><p>
</p><p>
Once the selected module/instance has been displayed, scroll down in the Coverage File Viewer window (using the
scroll bars to the right and below the Coverage File Viewer window) until you have reached a line that is
highlighted in the covered color scheme. The line number of the highlighted line will be printed to the left of the
source code line. This line represents a line that was found to be hit during the simulation of this
module/instance.
</p></div><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>
You may see both the covered and uncovered line coverage simultaneously by selecting both the
<span class="bold"><strong>Show Uncovered</strong></span> and <span class="bold"><strong>Show Covered</strong></span> items in the
<span class="bold"><strong>Report</strong></span> menu. This is sometimes useful to see what logic Covered was not able to
provide coverage support for (all lines which contain code that are not highlighted in either the uncovered or
covered color schemes).
</p></td></tr></table></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="chapter.gui.main.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"><a accesskey="u" href="part.gui.html"><img src="img/up.gif" alt="Up"></a></td><td width="40%" align="right"> <a accesskey="n" href="chapter.gui.toggle.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 17. Navigating the Main Window </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"> Chapter 19. Navigating the Toggle Coverage Window</td></tr></table></div></body></html>
|