基于AFDX網(wǎng)絡(luò)交換機(jī)芯片的虛擬驗(yàn)證平臺(tái)設(shè)計(jì).pdf

1、隨著大規(guī)模集成電路的設(shè)計(jì)與生產(chǎn)技術(shù)飛速發(fā)展，現(xiàn)有的驗(yàn)證技術(shù)包括驗(yàn)證工具和驗(yàn)證方法，逐漸無(wú)法滿(mǎn)足復(fù)雜的設(shè)計(jì)要求。驗(yàn)證團(tuán)隊(duì)所面臨的挑戰(zhàn)包括驗(yàn)證層次性、可重用性、高效性以及完備性等等。一個(gè)高效有序的驗(yàn)證平臺(tái)可以為驗(yàn)證團(tuán)隊(duì)帶來(lái)很大的幫助，特別是減少了流片以后才發(fā)現(xiàn)功能不全的風(fēng)險(xiǎn)。雖然國(guó)外的技術(shù)已經(jīng)在很大程度上領(lǐng)先于國(guó)內(nèi)的技術(shù)，但是從行業(yè)發(fā)展來(lái)看，國(guó)內(nèi)的公司或者研究機(jī)構(gòu)已經(jīng)引入了大量的先進(jìn)技術(shù)，這對(duì)于芯片的發(fā)展是一個(gè)很好的推動(dòng)。
　　AFD

2、X網(wǎng)絡(luò)交換機(jī)芯片是隨著新一代航空網(wǎng)絡(luò)技術(shù)興起的機(jī)載設(shè)備，AFDX是目前較為先進(jìn)的航電數(shù)據(jù)傳輸技術(shù)之一，主要特點(diǎn)是較高的集成度、較大的帶寬、出色的實(shí)時(shí)性和可靠性，使其在航空電子領(lǐng)域有著很大的潛力，而基于 AFDX的交換機(jī)芯片正是滿(mǎn)足行業(yè)內(nèi)所需求的所能夠達(dá)到機(jī)載設(shè)備要求的集成電路，前景不可估量。
　　在結(jié)合了驗(yàn)證規(guī)范搭建好平臺(tái)之后，例舉了幾個(gè)利用該驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證的例子，并且利用驗(yàn)證平臺(tái)評(píng)測(cè)出交換機(jī)芯片的性能，并以表格和數(shù)據(jù)的形式展示