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

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

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