天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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
麻豆欧美精品国产综合久久| 亚洲一区二区三区熟女少妇| 久久99这里只精品热在线| 国产欧美日韩在线精品一二区| 国产午夜精品福利免费不| 国产人妻精品区一区二区三区| 国产又大又猛又粗又长又爽| 日本高清一道一二三区四五区 | 小草少妇视频免费看视频| 亚洲av日韩一区二区三区四区| 五月天婷亚洲天婷综合网| 免费在线播放不卡视频| 日韩亚洲激情在线观看| 日本午夜免费观看视频| 麻豆91成人国产在线观看| 国产大屁股喷水在线观看视频| 国产精品流白浆无遮挡| 欧美成人黄色一级视频| 亚洲av熟女国产一区二区三区站| 国产av天堂一区二区三区粉嫩| 国产美女精品人人做人人爽| 欧美偷拍一区二区三区四区| 久久精视频免费视频观看| 日韩不卡一区二区三区色图| 欧美日韩免费观看视频| 日本不卡在线视频中文国产| 少妇人妻无一区二区三区| 加勒比系列一区二区在线观看| 欧美尤物在线观看西比尔| 欧美国产日产综合精品| 亚洲一级二级三级精品| 办公室丝袜高跟秘书国产| 亚洲一区二区三区熟女少妇| 黄片三级免费在线观看| 大香蕉久久精品一区二区字幕| 精品人妻少妇二区三区| 少妇在线一区二区三区| 女厕偷窥一区二区三区在线| 亚洲国产性生活高潮免费视频| 中文字幕日韩一区二区不卡| 又黄又硬又爽又色的视频|