課程大綱

內(nèi)容簡介

1

功能驗證與驗證平臺總述

什么是數(shù)字芯片驗證，驗證在芯片研發(fā)中的角色以及如何全方位開展驗證，包含數(shù)字設(shè)計全流程介紹，數(shù)字電路Verilog HDL設(shè)計入門以及常見語句簡介，Verilog HDL設(shè)計搭建最簡單的驗證平臺，查看波形驗證設(shè)計，介紹常用EDA工具

2

System Verilog數(shù)據(jù)結(jié)構(gòu)

驗證平臺中常用的數(shù)據(jù)類型以及函數(shù)介紹，以實操題目快速掌握知識點，結(jié)構(gòu)體，枚舉，以及l(fā)ogic，wire，reg等數(shù)據(jù)介紹，隊列以及數(shù)組的操作。

3

面向?qū)ο缶幊淘隍炞C中的應(yīng)用

掌握System Verilog中面向?qū)ο笤诟鱾€組件中的應(yīng)用，配以實操題目。包含面向?qū)ο笞钪匾姆庋b、繼承、多態(tài)的知識點。

4

驗證平臺中的約束與隨機

隨機、約束在驗證平臺中的作用，掌握如何隨機，如何約束。

5

驗證平臺中的斷言和覆蓋率

學習斷言以及覆蓋率相關(guān)的知識點，掌握斷言的語法以及寫法，掌握功能覆蓋率的寫法。

6

線程間的通信

了解驗證平臺和DUT的通信方式，掌握阻塞和非阻塞的概念

7

System Verilog驗證平臺實例

通過一個System Verilog的驗證實例，掌握驗證平臺結(jié)構(gòu)，一個完整的驗證平臺包含了HDL、HVL以及包含clk、reset的TOP層。

8

從System Verilog到UVM驗證平臺

通過上一章的System Verilog驗證平臺，切入UVM驗證平臺，介紹什么是UVM，UVM與SV的關(guān)系，為什么要用UVM，UVM的便利性。UVM的phase機制。

9

Transaction與Sequence

Transaction和Sequence在驗證平臺中的作用和基本思路。解釋UVM中刺激的產(chǎn)生，創(chuàng)建UVM序列項(事務(wù))，學習如何構(gòu)造簡單的UVM序列，描述序列和驅(qū)動程序之間的握手。

10

Sequencer、Drivers與TLM

Sequencer、Driver和TLM在驗證平臺中的作用和基本思路；解釋UVM排序器和驅(qū)動程序；

描述如何創(chuàng)建仿真友好的驅(qū)動程序；學習如何開發(fā)UVM排序器和驅(qū)動程序，如何將事務(wù)轉(zhuǎn)移到DUT；解釋事務(wù)級建模傳輸(TLM)；描述事務(wù)端口和導出。

11

Monitor與Agent

Monitor和Agent在UVM驗證平臺中的作用和基本思路。創(chuàng)建采樣DUT輸出的UVM Monitor；解釋如何使用UVM分析端口發(fā)送事務(wù)；學習創(chuàng)建和使用UVM Agent；

配置UVM Agent為ActiveAgent或Passive Agent。

12

覆蓋率收集

覆蓋率收集注意點，如何收集覆蓋率。

回顧SystemVerilog功能覆蓋；演示構(gòu)建和抽樣覆蓋組；查看報告覆蓋率；學習在UVM中應(yīng)該在哪里收集覆蓋信息；演示如何將覆蓋收集器連接到監(jiān)視器/代理

13

Scorboard與Enviroment

Scoreboard和Env在UVM驗證平臺中的作用以及基本思路和寫法。

解釋TLM分析連接；解釋記分牌概念；學習如何預測預期的DUT輸出。構(gòu)建一個UVM計分板，將預測結(jié)果與實際輸出值進行比較。

14

Configuration與Factory

驗證平臺配置和工廠模式。描述UVM配置數(shù)據(jù)庫；解釋組件配置；學習如何在組件和序列之間傳遞配置信息；學習如何描述UVM工廠；學習如何使用工廠創(chuàng)建組件和事務(wù)；演示工廠覆蓋如何改變測試臺的行為。

15

芯片驗證流程綜述

芯片驗證流程綜述?？偨Y(jié)完整的芯片驗證流程。包括驗證策略，驗證過程中的時間分配等。

16

小作業(yè)：實驗訓練總結(jié)

小作業(yè)：驗證項目實訓。從0開始，寫一個小的設(shè)計，并對此設(shè)計進行UVM驗證平臺編寫。

階段

內(nèi)容簡介

開工指導

數(shù)字芯片仿真驗證知識回顧學習，芯片驗證全流程介紹，實訓項目介紹，

開工準備

學習如何進行驗證測試點的分解，指導學員入手進行測試點驗證

提取測試點

自行提取測試點，組織review，答疑，教師提取測試點分享

初步運行

初步運行驗證環(huán)境，跑通example testcase,答疑

完善驗證環(huán)境

補全驗證環(huán)境缺失組件，完成測試點對應(yīng)TC，完成所有點測試點測試

覆蓋率收集

功能覆蓋率模型學習以及編碼，

驗證報告寫作

完成芯片驗證報告以及checklist自檢，