<html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>PartIII.Command-line Usage</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="index.html" title="Covered User's Guide - 0.7.9"><link rel="prev" href="chapter.installation.html" title="Chapter6.Installation"><link rel="next" href="chapter.start.html" title="Chapter7.Getting Started"><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">PartIII.Command-line Usage</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.installation.html"><img src="img/prev.gif" alt="Prev"></a></td><th width="60%" align="center"></th><td width="20%" align="right"><a accesskey="n" href="chapter.start.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="part" lang="en"><div class="titlepage"><div><div><h1 class="title"><a name="part.command.line.usage"></a>PartIII.Command-line Usage</h1></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="chapter"><a href="chapter.start.html">7. Getting Started</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.start.html#section.start.methods">7.1. Methods for scoring the design</a></span></dt><dt><span class="sect1"><a href="chapter.start.html#section.start.dump">7.2. What is needed for dumpfile scoring?</a></span></dt><dt><span class="sect1"><a href="chapter.start.html#section.start.vpi">7.3. What is needed for VPI scoring?</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.using.html">8. Using Covered</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.using.html#section.using.flow">8.1. Work Flow</a></span></dt><dt><span class="sect1"><a href="chapter.using.html#section.using.usage">8.2. Covered usage</a></span></dt><dt><span class="sect1"><a href="chapter.using.html#section.using.globalopts">8.3. Covered global options</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.score.html">9. The score Command</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.score.html#section.score.usage">9.1. Usage</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.options">9.2. Options</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.t">9.3. Specifying What to Cover</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.e">9.4. Specifying What Not to Cover (Coverage Exclusions)</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.param">9.5. Overriding Parameters (-P option)</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.fsm">9.6. Scoring FSMs</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.conservative">9.7. The reason for the -conservative feature</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.plusargs">9.8. Specifying Plus Arguments When Scoring</a></span></dt><dt><span class="sect1"><a href="chapter.score.html#section.score.other">9.9. Other Notes</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.merge.html">10. The merge Command</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.merge.html#section.merge.using">10.1. Usage</a></span></dt><dt><span class="sect1"><a href="chapter.merge.html#section.merge.options">10.2. Options</a></span></dt><dt><span class="sect1"><a href="chapter.merge.html#section.merge.rules">10.3. Merging Rules</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.report.html">11. The report Command</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.report.html#section.report.usage">11.1. Usage</a></span></dt><dt><span class="sect1"><a href="chapter.report.html#section.report.options">11.2. Options</a></span></dt><dt><span class="sect1"><a href="chapter.report.html#section.report.sdv">11.3. Summary Vs. Detailed Vs. Verbose</a></span></dt><dt><span class="sect1"><a href="chapter.report.html#section.report.mi">11.4. Module Vs. Instance</a></span></dt><dt><span class="sect1"><a href="chapter.report.html#section.report.cu">11.5. Covered Vs. Uncovered</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.rank.html">12. The rank Command</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.rank.html#section.rank.options">12.1. Options</a></span></dt><dt><span class="sect1"><a href="chapter.rank.html#section.rank.inputting">12.2. Methods for specifying CDDs to rank</a></span></dt><dt><span class="sect1"><a href="chapter.rank.html#section.rank.weighting">12.3. Specifying metric weights</a></span></dt><dt><span class="sect1"><a href="chapter.rank.html#section.rank.output">12.4. Understanding the rank command output information</a></span></dt><dt><span class="sect1"><a href="chapter.rank.html#section.rank.algorithm">12.5. Description of ranking algorithm</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.exclude.html">13. The exclude Command</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.exclude.html#section.exclude.usage">13.1. Usage</a></span></dt><dt><span class="sect1"><a href="chapter.exclude.html#section.exclude.options">13.2. Options</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.reading.html">14. Reading the Report</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.reading.html#section.reading.line">14.1. Reading Line Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.reading.html#section.reading.toggle">14.2. Reading Toggle Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.reading.html#section.reading.memory">14.3. Reading Memory Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.reading.html#section.reading.logic">14.4. Reading Combinational Logic Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.reading.html#section.reading.fsm">14.5. Reading FSM Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.reading.html#section.reading.assert">14.6. Reading Assertion Coverage</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.debug.html">15. Debugging</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.debug.html#section.debug.output">15.1. Verbose Debug Output</a></span></dt><dt><span class="sect1"><a href="chapter.debug.html#section.cli">15.2. Command-Line Interface (CLI)</a></span></dt><dt><span class="sect1"><a href="chapter.debug.html#section.profiling">15.3. Source Code Profiling</a></span></dt></dl></dd></dl></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="chapter.installation.html"><img src="img/prev.gif" alt="Prev"></a></td><td width="20%" align="center"></td><td width="40%" align="right"><a accesskey="n" href="chapter.start.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter6.Installation</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">Chapter7.Getting Started</td></tr></table></div></body></html>
|
