Assertion_based_Design_2nd.pdf

FPGA小牛

Assertion_based_Design_2nd.pdf [Copy link]

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

It's all in English. At first glance, I don't know what this document is for. It's better to explain its purpose in Chinese at the beginning.