網(wǎng)絡(luò)接口的驗證平臺設(shè)計與實現(xiàn).pdf

1、密級桂林電子科技大學(xué)碩士學(xué)位論文（全日制專業(yè)學(xué)位碩士）題目網(wǎng)絡(luò)接口的驗證平臺設(shè)計與實現(xiàn)（英文）TheDesignImplementationofwkInterfaceVerificationPlatfm研究生學(xué)號:1208521018研究生姓名:蘇雪指導(dǎo)教師姓名、職務(wù):潘明副教授申請學(xué)位門類:工學(xué)碩士學(xué)科、專業(yè)名稱:控制工程提交論文日期:2015年4月7日論文答辯日期:2015年6月14日摘要I摘要網(wǎng)絡(luò)接口是用于節(jié)點間高速通信的控制模塊

2、，是網(wǎng)絡(luò)和節(jié)點間的橋梁，使用網(wǎng)絡(luò)接口可以訪問不同類型的處理器節(jié)點和IO節(jié)點，進行數(shù)據(jù)包的發(fā)送和接收。網(wǎng)絡(luò)接口的重要性，使得針對網(wǎng)絡(luò)接口的驗證也非常重要。本文研究的網(wǎng)絡(luò)接口驗證平臺，采用新式的驗證思想和驗證工具，縮短了網(wǎng)絡(luò)接口的研發(fā)周期。該驗證平臺良好的結(jié)構(gòu)，減少了網(wǎng)絡(luò)接口驗證過程中很多重復(fù)性的工作，節(jié)約了驗證時間，提高了驗證的效率。本文提出了一種基于SystemVerilog語言的驗證平臺架構(gòu)，并針對網(wǎng)絡(luò)接口模塊設(shè)計了激勵生成機制、結(jié)果

3、自檢測機制以及覆蓋率生成機制。在具體的設(shè)計方法上，采用了層次化與面向?qū)ο蟮募夹g(shù)，對層次化抽象出的各個功能模塊進行封裝，便于驗證平臺的重用；采用定向測試激勵與受約束的隨機測試激勵相結(jié)合的方式生成測試向量，可以產(chǎn)生高質(zhì)量的測試激勵；采用參數(shù)化的設(shè)計思想，使驗證平臺具有很好的配置性；采用了記分板與斷言兩種技術(shù)實現(xiàn)自檢測機制，可以快速定位設(shè)計錯誤，便于調(diào)試；采用了代碼覆蓋率與功能覆蓋率相結(jié)合的覆蓋率生成機制，可以有效的評估驗證進度，指導(dǎo)測試激勵