摘要
针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及参数,在此基础上设计了符合航空运输工业标准的ARINC429通讯板卡,并提出了一种新的对ARINC429通讯板卡设计时序的验证方法。实验结果表明了OVL断言验证方法在设计验证中的可行性,降低了设计验证的复杂度,增加了验证覆盖率,提高了验证效率。
Aiming at the problems of functional verification difficulties caused by the design complexity increasing,method of using open verification library（OVL） validating the design of ARINC429 communication card is presented.OVL and the structure,function,classification,and parameters of OVL assertion monitor are described in detail.Based on it ARINC429 communication card according with aviation transportation technology standard is designed,and a new validating way for the timing design of ARINC429 communication card is presented.The experimental resultal demonstrates OVL assertion verification is feasibility and it reduces the complexity of design verification,increases the verification coverage and improves the efficiency of the verification.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第10期2172-2174,共3页
Computer Engineering and Design
基金
天津市科技支撑计划重点基金项目(07ZCKFGX01500)
民航总局科技基金项目(MHRD0705)
