文献类型：期刊文章

作　　者：王鹏[1] 刘万和[2] 刘锐[2] 田毅[1]

机构地区：[1]中国民航大学,民用航空器适航审定技术与管理研究中心,天津市民用航空器适航与维修重点实验室,天津300300 [2]中国民航大学安全科学与工程学院,天津300300

出　　处：《电子技术应用》

基　　金：国家自然科学基金(U1333120);中央高校基本科研基金(3122014D046)

年　　份：2015

卷　　号：41

期　　号：2

起止页码：61-64

语　　种：中文

收录情况：BDHX、BDHX2014、DOAJ、JST、RCCSE、ZGKJHX、核心刊

摘　　要：对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。

关 键 词：验证  SYSTEMVERILOG 测试平台  可重用

分 类 号：TN402]