File: part.overview.html

package info (click to toggle)
covered 0.7.10-3.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 8,916 kB
  • sloc: ansic: 48,807; yacc: 11,650; xml: 8,838; tcl: 7,698; sh: 3,925; lex: 2,240; makefile: 360; perl: 329
file content (1 line) | stat: -rw-r--r-- 5,117 bytes parent folder | download | duplicates (5) 
1
 
<html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>PartI.Overview</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="index.html" title="Covered User's Guide - 0.7.9"><link rel="next" href="chapter.intro.html" title="Chapter1.Introduction"><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">PartI.Overview</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="index.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.intro.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.overview"></a>PartI.Overview</h1></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="chapter"><a href="chapter.intro.html">1. Introduction</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.intro.html#section.intro.covered">1.1. What is Covered?</a></span></dt><dt><span class="sect1"><a href="chapter.intro.html#section.intro.cc.cando">1.2. What can code coverage do?</a></span></dt><dt><span class="sect1"><a href="chapter.intro.html#section.intro.cc.cantdo">1.3. What can't code coverage do?</a></span></dt><dt><span class="sect1"><a href="chapter.intro.html#section.intro.cov.cando">1.4. What does Covered do?</a></span></dt><dt><span class="sect1"><a href="chapter.intro.html#section.intro.cov.cantdo">1.5. What does Covered NOT do?</a></span></dt><dt><span class="sect1"><a href="chapter.intro.html#section.intro.cov.diff">1.6. What makes Covered different?</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.metrics.html">2. Coverage Metrics</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.line">2.1. Line Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.toggle">2.2. Toggle Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.memory">2.3. Memory Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.logic">2.4. Combinational Logic Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.fsm">2.5. Finite State Machine (FSM) Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.metrics.html#section.metrics.assert">2.6. Assertion Coverage</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.boundaries.html">3. Coverage Boundaries</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.boundaries.html#section.boundaries.analyzed">3.1. What logic can be analyzed?</a></span></dt><dt><span class="sect1"><a href="chapter.boundaries.html#section.boundaries.unanalyzed">3.2. What logic cannot be currently analyzed?</a></span></dt><dt><span class="sect1"><a href="chapter.boundaries.html#section.boundaries.handling">3.3. What is done with code blocks that contain code that cannot be analyzed?</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.race.html">4. Race Condition Checking</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.race.html#section.race.guidelines">4.1. Checked Coding Guidelines</a></span></dt><dt><span class="sect1"><a href="chapter.race.html#section.race.handling">4.2. Race Condition Handling</a></span></dt><dt><span class="sect1"><a href="chapter.race.html#section.race.avoiding">4.3. Avoiding Race Condition Checking</a></span></dt><dt><span class="sect1"><a href="chapter.race.html#section.race.conditions">4.4. Reporting Race Conditions</a></span></dt></dl></dd><dt><span class="chapter"><a href="chapter.attr.html">5. Inline Attributes</a></span></dt><dd><dl><dt><span class="sect1"><a href="chapter.attr.html#section.attr">5.1. What are inline attributes?</a></span></dt><dt><span class="sect1"><a href="chapter.attr.html#section.attr.fsm">5.2. Adding FSM attributes</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="index.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.intro.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Covered User's Guide - 0.7.9</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">Chapter1.Introduction</td></tr></table></div></body></html>