天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁 > 碩博論文 > 工程碩士論文 >

基于TBX技術(shù)的AFDX端系統(tǒng)驗(yàn)證

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

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

【學(xué)位級(jí)別】:碩士

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



本文編號(hào):3998805

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shoufeilunwen/boshibiyelunwen/3998805.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶5697e***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
日韩精品视频高清在线观看| 嫩呦国产一区二区三区av| 国产精品不卡一区二区三区四区| 亚洲一区二区久久观看| 精品丝袜一区二区三区性色| 空之色水之色在线播放| 亚洲男人天堂网在线视频| 国产一区二区三区四区中文| 亚洲在线观看福利视频| 欧美老太太性生活大片| 激情三级在线观看视频| 免费久久一级欧美特大黄孕妇| 久久亚洲午夜精品毛片| 日韩国产精品激情一区| 亚洲一区二区精品免费视频| 日韩特级黄片免费在线观看| 国产在线日韩精品欧美| 国产原创中文av在线播放| 五月天丁香亚洲综合网| 美国女大兵激情豪放视频播放| 亚洲最新一区二区三区| 日本加勒比在线观看不卡| 美国欧洲日本韩国二本道| 日韩三级黄色大片免费观看 | 国产传媒高清视频在线| 国产日本欧美韩国在线| 国产成人精品午夜福利av免费| 都市激情小说在线一区二区三区 | 亚洲国产综合久久天堂| 亚洲天堂国产精品久久精品| 日韩精品一级一区二区| 日系韩系还是欧美久久| 狠狠做深爱婷婷久久综合| 成人午夜在线视频观看| 欧美乱视频一区二区三区| 玩弄人妻少妇一区二区桃花| 亚洲av熟女国产一区二区三区站| 精品日韩视频在线观看| 久久精品国产亚洲av久按摩| 国产又粗又硬又长又爽的剧情| 国产91色综合久久高清|