發(fā)布時間：2024-06-30 13:31

　　AFDX總線以其高實時、高可靠和低延時的特點成為目前機載網(wǎng)絡(luò)領(lǐng)域較先進的航空總線之一,目前廣泛應用于A380、C919等先進民航客機。本課題針對AFDX端系統(tǒng)開展驗證實踐,由于AFDX端系統(tǒng)屬于AFDX網(wǎng)絡(luò)中的關(guān)鍵機載電子硬件,承擔向AFDX網(wǎng)絡(luò)中的其他AFDX端系統(tǒng)發(fā)送或接收上層應用產(chǎn)生的數(shù)據(jù)包的功能,設(shè)計高度復雜。因此,通過對AFDX端系統(tǒng)進行驗證從而為類似的高度復雜機載電子硬件提供一種快速高效的驗證具有重要意義。當前機載SoC設(shè)計逐漸增多,如何為適航審查中提供更多的置信,開展TBX驗證技術(shù)的航空領(lǐng)域應用研究是非常有必要的。本文對典型的AFDX端系統(tǒng)設(shè)計進行系統(tǒng)級的驗證為背景,分析對比了軟件仿真器和FPGA原型驗證的優(yōu)點和缺點,深入研究了目前通用芯片領(lǐng)域驗證使用的硬件加速器。在基于大量測試案例的驗證速度和信號的可觀測性考慮后,選擇采用基于事務級加速的TBX技術(shù)作為端系統(tǒng)驗證的解決方案。本文首先對ARINC664 Part7協(xié)議進行深入的研究,確定驗證需求和驗證的功能點,制定驗證計劃。然后根據(jù)對驗證的需求進行分析后,對驗證平臺中的參考模型組件進行設(shè)計,保證了驗證的獨立性。通過對DUT...

【文章頁數(shù)】：89 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 論文研究背景及意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 論文主要工作及章節(jié)安排
第二章 驗證基礎(chǔ)與TBX技術(shù)
    2.1 基于System Verilog的驗證方法
        2.1.1 層次化驗證平臺
        2.1.2 驗證手段
        2.1.3 基于隨機約束的激勵產(chǎn)生
        2.1.4 基于斷言和覆蓋率的驗證
        2.1.5 基于VIP的驗證技術(shù)
        2.1.6 驗證流程與覆蓋率計算
    2.2 TBX技術(shù)
        2.2.1 硬件加速器
        2.2.2 TBX模式
    2.3 本章小結(jié)
第三章 AFDX端系統(tǒng)設(shè)計及需求分析
    3.1 AFDX網(wǎng)絡(luò)協(xié)議分析
    3.2 AFDX端系統(tǒng)系統(tǒng)級需求
        3.2.1 AFDX端系統(tǒng)的發(fā)送流程和接收流程
        3.2.2 系統(tǒng)級需求分析
    3.3 AFDX端系統(tǒng)模塊級需求分析
        3.3.1 復位功能需求分析
        3.3.2 數(shù)據(jù)發(fā)送功能需求分析
        3.3.3 數(shù)據(jù)接收功能需求分析
        3.3.4 數(shù)據(jù)幀封裝功能需求分析
        3.3.5 數(shù)據(jù)幀解析功能需求分析
        3.3.6 錯誤數(shù)據(jù)幀長度過濾功能需求分析
        3.3.7 錯誤數(shù)據(jù)幀順序過濾功能需求分析
        3.3.8 錯誤數(shù)據(jù)幀間隔過濾功能需求分析
    3.4 本章小結(jié)
第四章 可重用驗證平臺的設(shè)計與實現(xiàn)
    4.1 驗證計劃
    4.2 DUT概述
    4.3 驗證平臺架構(gòu)及組件設(shè)計與實現(xiàn)
        4.3.1 接口
        4.3.2 生成器
        4.3.3 驅(qū)動器
        4.3.4 監(jiān)視器
        4.3.5 計分板和參考模型
        4.3.6 驗證環(huán)境
    4.4 參考模型驗證設(shè)計
    4.5 斷言及功能覆蓋點設(shè)計
    4.6 TBX技術(shù)驗證平臺的移植與實現(xiàn)
    4.7 本章小結(jié)
第五章 驗證平臺的測試與分析
    5.1 參考模型驗證結(jié)果分析
    5.2 常規(guī)性功能驗證結(jié)果及分析
        5.2.1 復位功能驗證結(jié)果及分析
        5.2.2 數(shù)據(jù)發(fā)送功能驗證結(jié)果及分析
        5.2.3 數(shù)據(jù)接收功能驗證結(jié)果及分析
        5.2.4 數(shù)據(jù)幀封裝功能驗證結(jié)果及分析
        5.2.5 數(shù)據(jù)幀解析功能驗證結(jié)果及分析
    5.3 健壯性功能驗證結(jié)果及分析
        5.3.1 錯誤數(shù)據(jù)幀長度過濾功能驗證結(jié)果及分析
        5.3.2 錯誤數(shù)據(jù)幀序列號過濾功能驗證結(jié)果及分析
        5.3.3 錯誤數(shù)據(jù)幀間隔過濾功能驗證結(jié)果及分析
    5.4 基于硬件加速器的斷言與覆蓋率結(jié)果與分析
        5.4.1 斷言驗證結(jié)果及分析
        5.4.2 覆蓋率驗證結(jié)果及分析
    5.5 硬件加速器的驗證
    5.6 本章小結(jié)
第六章 總結(jié)與展望
    6.1 論文工作總結(jié)
    6.2 研究展望
致謝
參考文獻
作者簡介



本文編號：3998805