1 

 

Contents

1   Introduction

1.1  What is Covered?

1.2  What can code coverage do?

1.3  What can't code coverage do?

1.4  What does Covered do?

1.5  What makes Covered different?

2   Coverage Metrics

2.1  Line Coverage

2.2  Toggle Coverage

2.3  Combinational Coverage

2.4  Finite State Machine (FSM) Coverage

3   Coverage Boundaries

3.1  What logic can be analyzed?

3.2  What logic cannot be currently analyzed?

4   Race Condition Checking

4.1  Checked Coding Guidelines

4.2  Race Condition Handling

4.3  Reporting Race Conditions

5   Installation

5.1  Prerequisites

5.2  Downloading source

5.3  Installing from source

6   Getting Started

6.1  What do you need?

6.2  Creating a VCD dumpfile

6.3  Creating an LXT dumpfile

7   Using Covered

7.1  Work Flow

7.2  Covered usage

7.3  Covered options

8   Inline Attributes

8.1  What are inline attributes?

8.2  Adding FSM attributes

9   The score Command

9.1  Usage

9.2  Options

9.3  Specifying What to Cover

9.4  Overriding Parameters (-P option)

9.5  Scoring FSMs

9.6  Other Notes

10   The merge Command

10.1  Usage

10.2  Options

10.3  Merging Three or More CDDs

11   The report Command

11.1  Usage

11.2  Options

11.3  Summary Vs. Detailed Vs. Verbose

11.4  Module Vs. Instance

11.5  Covered Vs. Uncovered

12   Reading the Report

12.1  Reading Line Coverage

12.2  Reading Toggle Coverage

12.3  Reading Combinational Logic Coverage

12.4  Reading FSM Coverage

13   FAQ

14   Epilogue

14.1  Author

14.2  Special Thanks

14.3  Reporting Bugs

14.4  Mailing List

14.5  FAQ

14.6  Homepage

14.7  Copyright and Licensing