基于断言的Compact PCI总线IP核功能验证

作     者：姚爱红 孙盟哲 张智钧 袁莉娜 YAO Ai-hong;SUN Meng-zhe;ZHANG Zhi-jun;YUAN Li-na

作者机构：哈尔滨工程大学计算机科学与技术学院哈尔滨150001 北京计算机技术及应用研究所北京100854 中国科学院电子学研究所北京100190 

基　　金：黑龙江省自然科学基金项目(F201111)资助 中央高校基本科研业务费专项(HEUCF100606)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2014年第35卷第3期

页      码：676-680页

摘      要：近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.

主 题 词：功能验证 断言 IP核 SVA Compact PCI 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2014.03.048

馆 藏 号：203156526...