Part I. Overview

Table of 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 does Covered NOT do?

1.6. What makes Covered different?

2. Coverage Metrics

2.1. Line Coverage

2.2. Toggle Coverage

2.3. Memory Coverage

2.4. Combinational Logic Coverage

2.5. Finite State Machine (FSM) Coverage

2.6. Assertion Coverage

3. Coverage Boundaries

3.1. What logic can be analyzed?

3.2. What logic cannot be currently analyzed?

3.3. What is done with code blocks that contain code that cannot be analyzed?

4. Race Condition Checking

4.1. Checked Coding Guidelines

4.2. Race Condition Handling

4.3. Avoiding Race Condition Checking

4.4. Reporting Race Conditions

5. Inline Attributes

5.1. What are inline attributes?

5.2. Adding FSM attributes