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
2.5
Assertion 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 is needed for dumpfile scoring?
6.1.1
Creating a VCD dumpfile
6.1.2
Creating an LXT dumpfile
6.2
What is needed for VPI scoring?
6.2.1
Compiling for Icarus Verilog
6.2.2
Compiling for Cver
6.2.3
Compiling for VCS
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
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
12.5
Reading Assertion 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
|