/usr/share/covered/doc/html/index.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 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Covered User's Guide - 0.7.9</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="next" href="part.overview.html" title="Part I. Overview"><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">Covered User's Guide - 0.7.9</th></tr><tr><td width="20%" align="left"> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="part.overview.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="book" lang="en"><div class="titlepage"><div><div><h1 class="title"><a name="id36117283"></a>Covered User's Guide - 0.7.9</h1></div><div><h2 class="subtitle">Verilog Code Coverage Analyzer</h2></div><div><div class="author"><h3 class="author"><span class="firstname">Trevor</span> <span class="surname">Williams</span></h3><div class="affiliation"><div class="address"><p><br>
<code class="email"><<a href="mailto:phase1geo@gmail.com">phase1geo@gmail.com</a>></code><br>
</p></div></div></div></div><div><p class="copyright">Copyright © 2008-2010 Trevor Williams</p></div></div><hr></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="part"><a href="part.overview.html">I. Overview</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.intro.html">1. Introduction</a></span></dt><dt><span class="chapter"><a href="chapter.metrics.html">2. Coverage Metrics</a></span></dt><dt><span class="chapter"><a href="chapter.boundaries.html">3. Coverage Boundaries</a></span></dt><dt><span class="chapter"><a href="chapter.race.html">4. Race Condition Checking</a></span></dt><dt><span class="chapter"><a href="chapter.attr.html">5. Inline Attributes</a></span></dt></dl></dd><dt><span class="part"><a href="part.installation.html">II. Installation</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.installation.html">6. Installation</a></span></dt></dl></dd><dt><span class="part"><a href="part.command.line.usage.html">III. Command-line Usage</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.start.html">7. Getting Started</a></span></dt><dt><span class="chapter"><a href="chapter.using.html">8. Using Covered</a></span></dt><dt><span class="chapter"><a href="chapter.score.html">9. The score Command</a></span></dt><dt><span class="chapter"><a href="chapter.merge.html">10. The merge Command</a></span></dt><dt><span class="chapter"><a href="chapter.report.html">11. The report Command</a></span></dt><dt><span class="chapter"><a href="chapter.rank.html">12. The rank Command</a></span></dt><dt><span class="chapter"><a href="chapter.exclude.html">13. The exclude Command</a></span></dt><dt><span class="chapter"><a href="chapter.reading.html">14. Reading the Report</a></span></dt><dt><span class="chapter"><a href="chapter.debug.html">15. Debugging</a></span></dt></dl></dd><dt><span class="part"><a href="part.gui.html">IV. Graphical User Interface</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.gui.intro.html">16. Introduction to the GUI</a></span></dt><dt><span class="chapter"><a href="chapter.gui.main.html">17. Navigating the Main Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.line.html">18. Navigating the Line Coverage Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.toggle.html">19. Navigating the Toggle Coverage Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.memory.html">20. Navigating the Memory Coverage Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.logic.html">21. Navigating the Combinational Logic Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.fsm.html">22. Navigating the FSM State/State Transition Coverage Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.assert.html">23. Navigating the Assertion Coverage Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.assert.source.html">24. Navigating the Assertion Source Code Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.new.html">25. Creating a New CDD</a></span></dt><dt><span class="chapter"><a href="chapter.gui.genreport.html">26. Creating an ASCII report file</a></span></dt><dt><span class="chapter"><a href="chapter.gui.rank.html">27. Creating a CDD Ranking Report</a></span></dt><dt><span class="chapter"><a href="chapter.gui.preferences.html">28. Navigating the Preferences Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.exclude.html">29. The Exclusion Reason Popup Window</a></span></dt><dt><span class="chapter"><a href="chapter.gui.wizard.html">30. Navigating the Wizard Window</a></span></dt></dl></dd><dt><span class="part"><a href="part.faq.html">V. FAQ</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.faq.html">31. FAQ</a></span></dt></dl></dd><dt><span class="part"><a href="part.epilogue.html">VI. Epilogue</a></span></dt><dd><dl><dt><span class="chapter"><a href="chapter.epilogue.html">32. Epilogue</a></span></dt></dl></dd></dl></div><div class="list-of-figures"><p><b>List of Figures</b></p><dl><dt>2.1. <a href="chapter.metrics.html#figure.metrics.fsm">Digraph Version of Example FSM</a></dt><dt>9.1. <a href="chapter.score.html#figure.score.t">Hierarchical Tree View of Example DUT</a></dt><dt>10.1. <a href="chapter.merge.html#figure.merge.rules.block">Example of Verilog hierarchy to be scored in parallel</a></dt><dt>17.1. <a href="chapter.gui.main.html#figure.gui.main.window">Covered Main Window</a></dt><dt>17.2. <a href="chapter.gui.main.html#figure.gui.main.menubar">Covered Main Window Highlighting the Menu Bar</a></dt><dt>17.3. <a href="chapter.gui.main.html#figure.gui.main.filemenu">The File Menu</a></dt><dt>17.4. <a href="chapter.gui.main.html#section.gui.main.file.viewer">The CDD Opened File Viewer</a></dt><dt>17.5. <a href="chapter.gui.main.html#figure.gui.main.close">The Close Warning Window</a></dt><dt>17.6. <a href="chapter.gui.main.html#figure.gui.main.generate">The Generate Menu List</a></dt><dt>17.7. <a href="chapter.gui.main.html#figure.gui.main.exit">The Exit Warning Window</a></dt><dt>17.8. <a href="chapter.gui.main.html#figure.gui.main.report.menu">The Report Menu</a></dt><dt>17.9. <a href="chapter.gui.main.html#figure.gui.main.view.menu">The View Menu</a></dt><dt>17.10. <a href="chapter.gui.main.html#figure.gui.main.help.menu">The Help Menu</a></dt><dt>17.11. <a href="chapter.gui.main.html#figure.gui.main.covbar">Covered Main Coverage Type View Bar</a></dt><dt>17.12. <a href="chapter.gui.main.html#figure.gui.main.listbox">Populated Module/Instance Selection Box</a></dt><dt>17.13. <a href="chapter.gui.main.html#figure.gui.main.viewer">Covered Main Coverage File Viewer</a></dt><dt>17.14. <a href="chapter.gui.main.html#figure.gui.main.infobar">Covered Main Information Bar</a></dt><dt>18.1. <a href="chapter.gui.line.html#figure.gui.line.include">Example of uncovered line included for line coverage consideration</a></dt><dt>18.2. <a href="chapter.gui.line.html#figure.gui.line.exclude">Example of uncovered line excluded for line coverage consideration</a></dt><dt>19.1. <a href="chapter.gui.toggle.html#figure.gui.toggle">Verbose Toggle Window</a></dt><dt>20.1. <a href="chapter.gui.memory.html#figure.gui.memory">Verbose Memory Window</a></dt><dt>21.1. <a href="chapter.gui.logic.html#figure.gui.logic">Example of the verbose combinational logic window</a></dt><dt>21.2. <a href="chapter.gui.logic.html#figure.gui.logic.uncov.event">Example Coverage Output for an Uncovered Event Subexpression</a></dt><dt>21.3. <a href="chapter.gui.logic.html#figure.gui.logic.uncov.unary">Example Coverage Output for an Uncovered Unary Subexpression</a></dt><dt>21.4. <a href="chapter.gui.logic.html#figure.gui.info.simple.and">Example Coverage Output for an Uncovered Simple AND-type Combinational Subexpression</a></dt><dt>21.5. <a href="chapter.gui.logic.html#figure.gui.info.simple.or">Example Coverage Output for an Uncovered Simple OR-type Combinational Subexpression</a></dt><dt>21.6. <a href="chapter.gui.logic.html#figure.gui.info.simple.other">Example Coverage Output for an Uncovered Simple Combinational Subexpression</a></dt><dt>21.7. <a href="chapter.gui.logic.html#figure.gui.logic.complex">Example Coverage Output for an Uncovered Complex Combinational Subexpression</a></dt><dt>21.8. <a href="chapter.gui.logic.html#figure.gui.logic.excl">Example of an excluded subexpression</a></dt><dt>22.1. <a href="chapter.gui.fsm.html#figure.gui.fsm">Verbose FSM Coverage Window</a></dt><dt>22.2. <a href="chapter.gui.fsm.html#figure.gui.fsm.excl">Example of excluded state transitions</a></dt><dt>23.1. <a href="chapter.gui.assert.html#figure.gui.assert">Verbose Assertion Coverage Window</a></dt><dt>23.2. <a href="chapter.gui.assert.html#figure.gui.assert.exclude">Example of excluded ACP</a></dt><dt>24.1. <a href="chapter.gui.assert.source.html#figure.gui.assert.source">Assertion Source Viewer Window</a></dt><dt>25.1. <a href="chapter.gui.new.html#figure.gui.new.select">CDD Creation Option Selection Page</a></dt><dt>25.2. <a href="chapter.gui.new.html#figure.gui.new.name">CDD Creation Output Name Page</a></dt><dt>25.3. <a href="chapter.gui.new.html#figure.gui.new.type">CDD Creation Type Page</a></dt><dt>25.4. <a href="chapter.gui.new.html#figure.gui.new.options1">CDD Creation Options1 Page</a></dt><dt>25.5. <a href="chapter.gui.new.html#figure.gui.new.options2">CDD Creation Options2 Page</a></dt><dt>25.6. <a href="chapter.gui.new.html#figure.gui.new.options2.insmenu">CDD Creation Insert Menubutton</a></dt><dt>25.7. <a href="chapter.gui.new.html#figure.gui.new.options2.libext">CDD Creation Library Extension Window</a></dt><dt>25.8. <a href="chapter.gui.new.html#figure.gui.new.options2.define">CDD Creation Define Window</a></dt><dt>25.9. <a href="chapter.gui.new.html#figure.gui.new.options2.param">CDD Creation Parameter Override Window</a></dt><dt>25.10. <a href="chapter.gui.new.html#figure.gui.new.options2.fsm">CDD Creation FSM Specification Window</a></dt><dt>25.11. <a href="chapter.gui.new.html#figure.gui.new.options2.modgen">CDD Creation Module Generation Window</a></dt><dt>25.12. <a href="chapter.gui.new.html#figure.gui.new.options2.modexcl">CDD Creation Module Exclusion Window</a></dt><dt>25.13. <a href="chapter.gui.new.html#figure.gui.new.output">CDD Creation Output Window</a></dt><dt>26.1. <a href="chapter.gui.genreport.html#figure.gui.genreport.select">Report Generation Option Selection Page</a></dt><dt>26.2. <a href="chapter.gui.genreport.html#figure.gui.genreport.options">Report Generation Options Page</a></dt><dt>27.1. <a href="chapter.gui.rank.html#figure.gui.rank.select">CDD Ranking Option Selection Page</a></dt><dt>27.2. <a href="chapter.gui.rank.html#figure.gui.rank.options">CDD Ranking Options Page</a></dt><dt>27.3. <a href="chapter.gui.rank.html#figure.gui.rank.files">CDD Ranking Input File Selection Page</a></dt><dt>27.4. <a href="chapter.gui.rank.html#section.gui.rank.output">CDD Ranking Command Output Page</a></dt><dt>27.5. <a href="chapter.gui.rank.html#figure.gui.rank.report">CDD Ranking Report Page</a></dt><dt>28.1. <a href="chapter.gui.preferences.html#figure.gui.pref.main">Main Preferences Window</a></dt><dt>28.2. <a href="chapter.gui.preferences.html#figure.gui.pref.goals">Coverage Goals Window</a></dt><dt>28.3. <a href="chapter.gui.preferences.html#figure.gui.pref.syntax">Syntax Highlighting Preferences Pane</a></dt><dt>28.4. <a href="chapter.gui.preferences.html#figure.gui.pref.exclude">Exclusion Preferences Pane</a></dt><dt>28.5. <a href="chapter.gui.preferences.html#figure.gui.pref.merging">Merging Preferences Pane</a></dt><dt>29.1. <a href="chapter.gui.exclude.html#figure.gui.exclude.partial">The Exclusion Reason Popup Window</a></dt><dt>29.2. <a href="chapter.gui.exclude.html#figure.gui.exclude.full">Full View of the Exclusion Reason Popup Window</a></dt><dt>30.1. <a href="chapter.gui.wizard.html#figure.gui.wizard">Covered GUI Wizard Window</a></dt></dl></div><div class="list-of-tables"><p><b>List of Tables</b></p><dl><dt>8.1. <a href="chapter.using.html#table.using.globalopts">Global Options to Covered</a></dt><dt>9.1. <a href="chapter.score.html#table.score.options">Options to score Command</a></dt><dt>10.1. <a href="chapter.merge.html#table.merge.options">Options to merge Command</a></dt><dt>10.2. <a href="chapter.merge.html#table.merge.er.values"></a></dt><dt>11.1. <a href="chapter.report.html#table.report.options">Options to report Command</a></dt><dt>12.1. <a href="chapter.rank.html#table.rank.options">Options to rank Command</a></dt><dt>13.1. <a href="chapter.exclude.html#table.exclude.options">Options to the exclude command</a></dt><dt>15.1. <a href="chapter.debug.html#table.cli.commands">CLI Command-line Options</a></dt><dt>28.1. <a href="chapter.gui.preferences.html#table.gui.pref.coveredrc">Location of Written .coveredrc File According to the Location of Read .coveredrc File</a></dt></dl></div><div class="list-of-examples"><p><b>List of Examples</b></p><dl><dt>2.1. <a href="chapter.metrics.html#example.metrics.line">Line Coverage Code Sample</a></dt><dt>2.2. <a href="chapter.metrics.html#example.metrics.toggle">Toggle Coverage Code Sample</a></dt><dt>2.3. <a href="chapter.metrics.html#example.metrics.memory">Memory Coverage Code Sample</a></dt><dt>2.4. <a href="chapter.metrics.html#example.metrics.logic">Combinational Logic Coverage Code Sample</a></dt><dt>2.5. <a href="chapter.metrics.html#example.metrics.fsm">FSM Coverage Code Sample</a></dt><dt>4.1. <a href="chapter.race.html#example.race">Using a Race Condition Pragma</a></dt><dt>5.1. <a href="chapter.attr.html#example.attr">Module Containing an Embedded FSM</a></dt><dt>5.2. <a href="chapter.attr.html#example.attr.fsm">FSM Attribute Code Sample</a></dt><dt>7.1. <a href="chapter.start.html#example.start.methods.dumpco">Running Covered Alongside a Simulation Process Using a Unix FIFO to Pass Dumpfile Information</a></dt><dt>9.1. <a href="chapter.score.html#example.score.ep">Inline Pragmas to Turn Coverage Exclusion On/Off</a></dt><dt>9.2. <a href="chapter.score.html#example.score.ep2">Example of Embedded Coverage On/Off Pragmas</a></dt><dt>12.1. <a href="chapter.rank.html#example.rank.noreq">Rank Output With No Required Files</a></dt><dt>12.2. <a href="chapter.rank.html#example.rank.req">Rank Output With Required Files</a></dt><dt>18.1. <a href="chapter.gui.line.html#example.gui.line">Line Coverage Example</a></dt></dl></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="part.overview.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top"> </td><td width="20%" align="center"> </td><td width="40%" align="right" valign="top"> Part I. Overview</td></tr></table></div></body></html>
|