一種基于SystemVerilog的1394總線監(jiān)控邏輯驗(yàn)證方法.pdf

1、總線監(jiān)控（Bus Monitor），顧名思義，就是對總線上通信的數(shù)據(jù)進(jìn)行監(jiān)視和記錄。它作為仿真故障系統(tǒng)的重要組成部分，其功能的完整性、工作的可靠性以及開發(fā)的高效性，對于提高仿真系統(tǒng)的開發(fā)效率，縮短系統(tǒng)的研制周期起到一定積極作用。總線監(jiān)控的可靠性和有效性奠定了它對于驗(yàn)證功能系統(tǒng)的重要地位。為了對系統(tǒng)的狀態(tài)、故障分析等進(jìn)行定位，本文對設(shè)計(jì)的總線監(jiān)控功能模塊進(jìn)行驗(yàn)證，并提出了一種有效的驗(yàn)證方法。
　　本文介紹了IEEE1394總線協(xié)議，

2、并介紹了總線監(jiān)控邏輯外圍的相關(guān)接口部件。通過對傳統(tǒng)驗(yàn)證方法缺點(diǎn)的論述，最終確定采用System Verilog搭建的分層式的面向?qū)ο蟮囊环N高效的驗(yàn)證方法。采用隨機(jī)激勵方式的發(fā)包機(jī)制對DUT進(jìn)行功能驗(yàn)證，最終完成了對該總線監(jiān)控功能模塊的充分完備驗(yàn)證。
　　首先介紹IEEE1394協(xié)議并分析研究了協(xié)議結(jié)構(gòu)，在此基礎(chǔ)上展開對本文的驗(yàn)證對象總體架構(gòu)的介紹。通過對總體架構(gòu)的把握，可以了解驗(yàn)證對象，即總線監(jiān)控功能模塊，包括對它的功能、組成部件

3、的詳細(xì)描述。只有對設(shè)計(jì)足夠的了解才能進(jìn)一步去驗(yàn)證它的功能。要驗(yàn)證總線監(jiān)控功能，就必須對驗(yàn)證平臺和驗(yàn)證平臺的結(jié)構(gòu)有所了解，最終選擇搭建層次化的SystemVerilog驗(yàn)證平臺。SystemVerilog驗(yàn)證平臺對比于傳統(tǒng)驗(yàn)證平臺的特點(diǎn)，分別從語言、結(jié)構(gòu)、功能方面作了詳細(xì)介紹。根據(jù)其功能設(shè)計(jì)的需求搭建專屬于總線監(jiān)控功能模塊的驗(yàn)證平臺，并對平臺進(jìn)行完整性測試。所有這些都是為了對設(shè)計(jì)功能更好的驗(yàn)證，如何進(jìn)行測試和測試的目的是重點(diǎn)，本文通過對測