面向接口協(xié)議驗(yàn)證的激勵(lì)生成技術(shù)的研究.pdf

1、隨著半導(dǎo)體技術(shù)的發(fā)展，集成電路設(shè)計(jì)技術(shù)日益復(fù)雜，基于總線協(xié)議的設(shè)計(jì)方法成為一種主流的設(shè)計(jì)方法。一方面，基于總線的設(shè)計(jì)方法通過(guò)把設(shè)計(jì)劃分為若干個(gè)子模塊，可以提高設(shè)計(jì)的并行性和可移植性；但是另一方面，基于總線協(xié)議的設(shè)計(jì)也給硬件驗(yàn)證系統(tǒng)功能驗(yàn)證帶來(lái)新的挑戰(zhàn)。如何實(shí)現(xiàn)總線協(xié)議的功能驗(yàn)證，確保設(shè)計(jì)的正確性，已經(jīng)成為系統(tǒng)開發(fā)的瓶頸。本文對(duì)列車通信網(wǎng)絡(luò)控制器的設(shè)計(jì)和總線接口協(xié)議的功能驗(yàn)證技術(shù)進(jìn)行了深入的探討。
　　 本文首先研究基于Wishb

2、one系統(tǒng)總線協(xié)議的MVB車輛網(wǎng)卡設(shè)計(jì)和基于PC/104總線的MVB網(wǎng)卡和WTB網(wǎng)關(guān)連接設(shè)計(jì)。重點(diǎn)研究了總線接口協(xié)議的驗(yàn)證技術(shù)，提出了基于NEFSM的激勵(lì)生成技術(shù)、偏置方法和斷言技術(shù)。NEFSM抽象數(shù)學(xué)模型可以精確地描述總線接口協(xié)議，非常適合對(duì)接口協(xié)議激勵(lì)生成器建模。偏置技術(shù)使驗(yàn)證工程師對(duì)驗(yàn)證流程有更好地可控性，通過(guò)調(diào)整偏置參數(shù)設(shè)置很容易完成對(duì)驗(yàn)證模塊邊角情況的覆蓋。斷言則可以方便的檢測(cè)設(shè)計(jì)中的時(shí)序特性，提高驗(yàn)證工作的可靠性。