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

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

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

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