Assertion_based_Design_2nd.pdf

FPGA小牛

Assertion_based_Design_2nd.pdf [复制链接]

Chapter 1 Introduction 1

Property checking
Verification techniques
What is an assertion?

A historical perspective
Do assertions really work?
What are the benefits of assertions?
Why are assertions not used?
1.4 Phases of the design process

Ensuring requirements are satisfied
Techniques for ensuring consistency
Roles and ownership
1.5 Summary

Chapter 2 Assertion Methodology 21
2.1 Design methodology
2.2 Assertion methodology for new designs
Chapter 3 Specifying RTL Properties 61
3.1 Definitions and concepts
Chapter 4 PLI-Based Assertions
4.1 Procedural assertions
Chapter 5 Functional Coverage
Chapter 6 Assertion Patterns
6.1 Introduction to patterns
Chapter 7 Assertion Cookbook
Chapter 8 Specifying Correct Behavior 267
……

wenhuawu

全是英文，乍一看还不知道这个文档是做什么用的，最好还是在开头用中文说明一下用处