基于A(yíng)RINC629的層次化驗證平臺設計

首頁(yè) > 過(guò)刊瀏覽>2014年第22卷第6期 >1827-1829

基于A(yíng)RINC629的層次化驗證平臺設計
DOI:
                        
                    
CSTR:
                        [cstr]
                    
作者:
                        
                        
                    
作者單位:(1.中國民航大學(xué) 天津市民用航空器適航與維修重點(diǎn)實(shí)驗室,天津 300300; ;2.民用飛機模擬飛行國家重點(diǎn)實(shí)驗室,上海 200232;3.中國民航大學(xué) 安全科學(xué)與工程學(xué)院,天津 300300)
作者簡(jiǎn)介:王 鵬(1982-),男,副研究員,主要從事民機系統安全性設計與評估、機載電子硬件適航技術(shù)方向的研究。 [FQ)]
通訊作者:
中圖分類(lèi)號:TN47
基金項目:國家自然科學(xué)基金委員會(huì )與中國民用航空局聯(lián)合資助項目(U1333120)；中央高校基本科研業(yè)務(wù)費項目(312013SY53)；中國民航大學(xué)科研啟動(dòng)基金項目(2012QD26X)。

Design of Hierarchy Testbench Based on ARINC629

Author:

Affiliation:

(1.Tianjin Key Laboratory for Civil Airworthiness and Maintenance, Tianjin 300300, China; ;2.State Key Laboratory for Civil Aircraft Simulated Flight, Shanghai 200232, China; ;3.College of Safety Science & Engineering, Civil Aviation University of China, Tianjin 300300, China)

Fund Project:

摘要

圖/表

訪(fǎng)問(wèn)統計

參考文獻

相似文獻

引證文獻

資源附件

文章評論

摘要:

結合約束隨機、覆蓋率驅動(dòng)及斷言等多種驗證方法,對層次化驗證平臺的搭建方法進(jìn)行了研究;以對ARINC629航空數據總線(xiàn)接口控制器的驗證過(guò)程為例,介紹了基于System Verilog的層次化驗證平臺的搭建過(guò)程及其使用方法;根據驗證后覆蓋率報告,證明各項功能均已達到其設計需求,且實(shí)現率為100%;驗證結果表明該平臺和傳統驗證方法相比極大地提高了驗證效率,平臺的搭建方法和結構具有一定的通用性,更改其數據生成模塊即可用于其他類(lèi)似設計的驗證。

Abstract:

A method to build a Hierarchy Testbench is presented in this paper, which uses constraint-random, coverage-driven, assertion-based methodology. According to the coverage report after verification, it proved all the functions have been reached perfectly. The verification of ARINC629 interface controller proved it to be more efficient, with explaining the design and application of this testbench, better than the traditional verification method. The methodology and the structure can be used in other similar design, with only changing its generation module.

參考文獻

相似文獻

引證文獻

引用本文

王鵬,邵偉,姜承翔,田毅,薛茜男.基于A(yíng)RINC629的層次化驗證平臺設計計算機測量與控制[J].,2014,22(6):1827-1829.

復制

文章指標

點(diǎn)擊次數:
下載次數:
HTML閱讀次數:
引用次數:

歷史

收稿日期:2013-10-21
最后修改日期:2014-01-09
錄用日期:
在線(xiàn)發(fā)布日期: 2014-11-12
出版日期:

国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

引用本文

分享

文章指標

歷史

文章二維碼