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

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

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