課程內(nèi)容:
隨著ASIC的規(guī)模越來越大,復(fù)雜度越來越高,對(duì)于驗(yàn)證和調(diào)試技術(shù)提出了越來越嚴(yán)峻的挑戰(zhàn):如何加速大規(guī)模集成電路的驗(yàn)證效率,如何加速軟硬件之間、信號(hào)與協(xié)議之間的調(diào)試,如何在芯片設(shè)計(jì)的更早階段介入,等等。基于這些因素,Synopsys推出了業(yè)界領(lǐng)先的驗(yàn)證一致性平臺(tái):VCS作為統(tǒng)一的仿真工具,Verdi作為統(tǒng)一的調(diào)試工具。
本課程主要介紹VCS和Verdi的基礎(chǔ)知識(shí),以便大家對(duì)VCS和Verdi的使用有一個(gè)比較清晰的了解,并能夠直接將VCS和Verdi應(yīng)用于自己的驗(yàn)證環(huán)境中。
課程目錄:
-
Verification Complexity
-
Documents and Help
-
Environment Setup
-
VCS Flow
-
FSDB Dump
-
Coverage
-
X-prop and Temporal Flow View (TFV)
-
Debug with GUI (Verdi)
工具列表:
-
VCS MX
-
Verdi
講師介紹:
公佩軍
畢業(yè)于中國科學(xué)技術(shù)大學(xué),先后就職于AMD、展訊、Synopsys,有十多年的驗(yàn)證經(jīng)驗(yàn)?,F(xiàn)在在Synopsys,主要從事VCS、Verdi、VIPs的相關(guān)技術(shù)支持。