| 摘要 | 第5-6页 |
| Abstract | 第6-7页 |
| Dedication | 第8-9页 |
| CONTENTS | 第9-11页 |
| List of figures | 第11-12页 |
| List of tables | 第12-13页 |
| List of Acronyms | 第13-15页 |
| CHAPTER 1. INTRODUCTION | 第15-20页 |
| 1.1 Motivation | 第15页 |
| 1.2 Research Background | 第15-17页 |
| 1.3 History of assertion language standards | 第17页 |
| 1.4 Research Objective | 第17-18页 |
| 1.5 Thesis Outline | 第18-20页 |
| CHAPTER 2. AMBER-25 CORE SYSTEM DESCRIPTION | 第20-28页 |
| 2.1 Modern processor basic terms | 第20-21页 |
| 2.2 Amber 25 core Features | 第21-23页 |
| 2.3 Amber 25 Pipeline Architecture | 第23-25页 |
| 2.4 Amber 25 implementation | 第25-26页 |
| 2.5 Amber 25 core based system | 第26-27页 |
| 2.6 Chapter summary | 第27-28页 |
| CHAPTER 3. THE ART OF VERIFICATION | 第28-58页 |
| 3.1 Verification Fundamentals | 第28-40页 |
| 3.1.1 Verification methodology | 第28-32页 |
| 3.1.2 Functional verification | 第32-35页 |
| 3.1.3 Verification technologies | 第35-36页 |
| 3.1.4 Verification plan | 第36-38页 |
| 3.1.5 The Verification Challenge | 第38-40页 |
| 3.2 Assertions Based Verification | 第40-46页 |
| 3.2.1 Assertions | 第41-45页 |
| 3.2.2 Dynamic ABV | 第45-46页 |
| 3.3 Assertion specification languages | 第46-56页 |
| 3.3.1 SystemVerilog Assertions (SVA) | 第46-51页 |
| 3.3.2 Building blocks of SVA | 第51-55页 |
| 3.3.3 Standard assertion specification languages | 第55-56页 |
| 3.4 Chapter summary | 第56-58页 |
| CHAPTER 4. AMBER CORE BASED SYSTEM VERIFICATION | 第58-88页 |
| 4.1 Introduction | 第58-59页 |
| 4.2 Amber core System verification plan | 第59-64页 |
| 4.2.1 Verification basic questions | 第59-64页 |
| 4.3 Core level ABV | 第64-79页 |
| 4.3.1 Instruction cache verification | 第64-66页 |
| 4.3.2 Decode module verification | 第66-71页 |
| 4.3.3 ALU verification | 第71-72页 |
| 4.3.4 Standard wishbone protocol | 第72-75页 |
| 4.3.5 Amber25 wishbone interface verification | 第75-79页 |
| 4.4 System level ABV | 第79-86页 |
| 4.4.1 Main memory and IC | 第79-84页 |
| 4.4.2 Wishbone arbiter | 第84-86页 |
| 4.5 Chapter summary | 第86-88页 |
| CHAPTER 5. DISCUSS AND ANALYSIS | 第88-99页 |
| 5.1 Verification for existing design | 第88-90页 |
| 5.2 System level verification | 第90-93页 |
| 5.3 Assertions debugging | 第93-95页 |
| 5.3.1 Design bugs | 第93-94页 |
| 5.3.2 Assertion bugs | 第94-95页 |
| 5.4 Assertion reusability | 第95-96页 |
| 5.5 Design and verification dependences | 第96-97页 |
| 5.6 Advantages of using ABV | 第97-99页 |
| CHAPTER 6. SUMMARY AND CONCLUSION | 第99-101页 |
| FUTURE WORK AND PERSPECTIVES | 第101-102页 |
| REFERENCES | 第102-105页 |
| PUBLISHED PAPERS AND RESEARCH RESULTS | 第105-106页 |
| ACKNOWLEDGEMENT | 第106页 |
