天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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青青精品免费观看| 中文字幕免费观看亚洲视频 | 免费一区二区三区少妇| 国产成人免费激情视频| 亚洲成人精品免费在线观看| 国产成人人人97超碰熟女| 久热久热精品视频在线观看 | 国产传媒欧美日韩成人精品| 日韩一区二区三区在线欧洲| 免费性欧美重口味黄色| 亚洲熟女精品一区二区成人| 国产福利在线播放麻豆| 日本人妻丰满熟妇久久| 成人免费观看视频免费| 欧美加勒比一区二区三区| 日韩偷拍精品一区二区三区 | 国产精品欧美一区两区| 午夜免费精品视频在线看| 日本av一区二区不卡| 国产精品一区二区传媒蜜臀| 麻豆tv传媒在线观看| 亚洲男女性生活免费视频| 中文字幕亚洲视频一区二区| 国产综合一区二区三区av| 国语久精品在视频在线观看| 国产一区二区熟女精品免费| 九九九热在线免费视频| 中文字幕亚洲人妻在线视频| 午夜精品在线观看视频午夜| 欧美日韩有码一二三区| 好吊妞视频只有这里有精品| 风韵人妻丰满熟妇老熟女av| 91在线播放在线播放观看| 国产精品欧美日韩中文字幕| 欧美一区二区三区喷汁尤物| 国产午夜福利一区二区| 午夜福利黄片免费观看| 色狠狠一区二区三区香蕉蜜桃| 国产一区麻豆水好多高潮|