天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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
国产精品超碰在线观看| 九九热视频网在线观看| 久久综合九色综合欧美| 国产欧美日韩不卡在线视频| 男人操女人下面国产剧情| 日韩一区二区三区四区乱码视频| 91欧美日韩精品在线| 免费福利午夜在线观看| 尤物天堂av一区二区| 日本午夜精品视频在线观看| 丰满少妇被粗大猛烈进出视频| 深夜福利亚洲高清性感| 亚洲精品中文字幕欧美| 成人国产激情福利久久| 国产精品刮毛视频不卡| 成人国产一区二区三区精品麻豆| 伊人久久青草地综合婷婷| 视频一区中文字幕日韩| av在线免费观看在线免费观看| 国产精品免费精品一区二区| 成人国产一区二区三区精品麻豆 | 一区二区免费视频中文乱码国产| 精品国产成人av一区二区三区| 91人妻人人精品人人爽| 成人欧美精品一区二区三区| 日本高清一区免费不卡| 国产精品制服丝袜美腿丝袜| 精品女同在线一区二区| 亚洲中文字幕乱码亚洲| 欧美字幕一区二区三区| 国产精品内射婷婷一级二级| 欧美成人免费一级特黄| 中文字日产幕码三区国产| 久久这里只有精品中文字幕| 亚洲黄片在线免费小视频| 日本不卡片一区二区三区| 国产精品久久男人的天堂| 欧美人与动牲交a精品| 国产二级一级内射视频播放| 国产91色综合久久高清| 亚洲国产av国产av|