天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产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天堂野外| 日韩欧美国产精品自拍| 欧美偷拍一区二区三区四区 | 欧美自拍偷自拍亚洲精品| 亚洲国产欧美精品久久| 老司机精品视频免费入口| 91人妻人人揉人人澡人| 国产精品欧美一级免费| 亚洲一区二区三区日韩91| 亚洲欧美视频欧美视频| 青青操成人免费在线视频| 一区二区三区日韩经典| 国产精品内射视频免费| 麻豆精品在线一区二区三区| 亚洲中文在线男人的天堂| 日本午夜精品视频在线观看| 国产精品美女午夜福利| 国产在线视频好看不卡| 久久亚洲精品中文字幕| 亚洲午夜福利不卡片在线| 欧美一本在线免费观看| 免费一区二区三区少妇| 日韩精品一区二区三区四区| 亚洲中文字幕日韩在线| 日韩成人h视频在线观看| 中文字幕一区二区三区中文| 欧美日韩综合免费视频| 精品国产成人av一区二区三区| 日本91在线观看视频| 欧美日韩一级黄片免费观看| 日韩综合国产欧美一区| 婷婷激情五月天丁香社区 | 国产又黄又爽又粗视频在线|