【摘 要】
：
近年来,机载SoC设计复杂度的不断提升使得集成IP核的应用越来越广泛,如何高效和准确地对IP核进行功能验证成为目前航空领域的实际需求。采用SVA对AFDX网络MAC IP核搭建层次化
【机 构】
：
中国民航大学天津市民用航空器适航与维修重点实验室,中国民航大学民航航空器适航审定技术重点实验室,中国民航大学适航学院
【基金项目】
：
中央高校基本科研业务费项目(3122018D033),中央高校基本科研业务费资助项目(201903)
论文部分内容阅读
近年来,机载SoC设计复杂度的不断提升使得集成IP核的应用越来越广泛,如何高效和准确地对IP核进行功能验证成为目前航空领域的实际需求。采用SVA对AFDX网络MAC IP核搭建层次化验证平台,将断言与待测设计的关键点处进行绑定,并在验证平台中插入断言对测试激励的时序性和完整性进行检查,通过覆盖率统计评估验证的完整性。测试结果表明,采用SVA的验证平台可以在需要检查的功能点发生错误时更快、更清晰地定位出错误源,提高了对机载SoC中IP核功能验证的高效性和准确性。
其他文献
目的观察阶段式护理在股骨粗隆骨折患者中的应用价值。方法选取2017年6月至2018年6月郑州市骨科医院收治的78例股骨粗隆骨折患者,根据建档时间分为观察组和参照组,每组39例。
当前我国已进入全面建成小康社会决胜阶段,“创新、协调、绿色、开放、共享”的发展新理念深入人心。随着社会发展和人民生活水平的改善,公众对良好的生态环境、健康的休闲方
蔬菜生产受到季节的影响,在寒冷地区的春季蔬菜生产通常有温室和大鹏等两种形式。因为春季外界气温不稳定,会影响到温室育苗及大棚前期生成管理。为了更好地促使春季的蔬菜能
目前我国国内高速铁路主要的轨道结构形式为有砟轨道和无砟轨道两种,其中设计速度250km/h的高速铁路一般采用有砟轨道,设计速度300km/h及以上的高速铁路主要采用无砟轨道。本
目的探讨基于网络平台的延伸护理对慢性心力衰竭(CHF)患者的应用效果。方法选取2018年7月至2019年7月原阳县人民医院收治的81例CHF患者作为研究对象,采用随机数表法分为对照
近些年来,随着城市化的发展,我国在市政园林方面的投入也在日益增加。在现代化技术繁荣发展的时代背景下,各项工程的建设都离不开先进技术的支持。当前,PPP模式已融入建筑业
图像增强是指通过一些手段改善图像的质量,进而提高图像的视觉效果,使得图像变得更加清晰,这样就更加便于人和计算机对某个图像进行进一步的处理和研究。本篇文章主要研究空间域上的不同滤波算法的图像增强,空域上不同的平滑滤波对带有不同噪声的图像进行图像增强效果的比较。
目的探讨三维子宫输卵管超声造影(3D-HyCoSy)检查在女性不孕输卵管通透性评估中的应用价值。方法选取2017年10月至2019年10月郑州市妇幼保健院收治的97例女性不孕患者,均接受
本文介绍了数码相机自动对焦技术的原理和技术发展路线,经过检索、统计和分析,从申请趋势、重要申请人、核心技术演进等角度分析了自动对焦技术发展的历史和现状,为相关企业
前面的郁金香品种大赏系列,为大家介绍了各种颜色的郁金香,都是以单一花色为主。而园艺家们培育的郁金香,不仅有纯色的,也有一些不同花色杂然存在于同一花朵当中。这些杂色郁