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

发布时间：2018-04-09 12:04

  本文选题：功能验证　切入点：断言　出处：《小型微型计算机系统》2014年03期

【摘要】：近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.
[Abstract]:In recent years, with the increasing scale and complexity of SoC design, the design and verification technology based on IP core has become a hot topic.The function verification based on assertion has the advantages of simple code, fast locating design defects and easy binding with design, and has attracted wide attention in the IP core function verification.In this paper, the function verification of Compact PCI bus controller kernel based on assertion is studied, and a monitor component design method based on assertion is proposed. The assertion of Compact PCI core interface signal timing and the assertion of coverage statistics are encapsulated as monitor components.In order to improve the development efficiency and reusability of the verification environment.The practical application shows that this method not only accelerates the convergence speed of the verification process, but also improves the reusability of the verification environment by publishing the verification components along with the IP core.
【作者单位】： 哈尔滨工程大学计算机科学与技术学院;北京计算机技术及应用研究所;中国科学院电子学研究所;
【基金】：黑龙江省自然科学基金项目(F201111)资助 中央高校基本科研业务费专项(HEUCF100606)资助
【分类号】：TP336

【参考文献】

相关期刊论文 前1条

1 肖立伊;;国内集成电路IP核标准进展与展望[J];中国集成电路;2007年02期

【共引文献】

相关期刊论文 前1条

1 王家蕊;陈岚;吕志强;龚敏;;电流检测功能电路的设计实现[J];电子与封装;2014年01期

相关博士学位论文 前1条

1 臧佳;基于MPSoC的空间光学CCD遥感相机控制系统研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2012年

相关硕士学位论文 前6条

1 王宏滨;AMBA/Wishbone总线桥IP核的设计[D];哈尔滨理工大学;2010年

2 苏学颖;基于8051单片机IP软核的优化设计及应用研究[D];西华大学;2007年

3 王强;半导体公司竞争力模式研究与案例[D];西南交通大学;2008年

4 刘卫华;16位数字信号处理器IP核的开发[D];哈尔滨工业大学;2007年

5 张继;基于FPGA的语音交换方案的设计与实现[D];华中科技大学;2008年

6 戚明珠;基于FPGA的IEEE1588 IP核开发[D];山东大学;2012年

【相似文献】

相关期刊论文 前10条

1 殷苏民;杨仁宇;;基于Avalon总线的插补器IP核的设计[J];机械设计与制造;2009年08期

2 袁江南,邢建力;一种与PIC单片机兼容的RISCIP核的设计与FPGA实现[J];电子与封装;2004年05期

3 阮利华,王祥,黄全平,周荣政,洪志良,蒋凤仙;USB2.0接口IP核的开发与设计[J];复旦学报(自然科学版);2005年01期

4 梁合庆;SoC面世八年后的产业机遇[J];单片机与嵌入式系统应用;2005年03期

5 陈昊;孙志刚;卢泽新;;DDR SDRAM控制器的设计与实现[J];微计算机应用;2007年02期

6 张昆,邱扬,刘浩;基于CPLD的系统中I~2C总线的设计[J];电子技术应用;2003年11期

7 胡小龙;杨蕊;;SOC片上总线综述[J];福建电脑;2008年02期

8 王茹;魏建磊;;一种同步串口的设计与实现[J];计算机技术与发展;2008年02期

9 于敦山;“中国芯”应从嵌入式微处理器IP核开始[J];世界电子元器件;2002年01期

10 胡国兵;嵌入式系统综述[J];南通职业大学学报;2004年04期

相关会议论文 前10条

1 刘涛;柴双勇;蔺建邦;弓睿;安学军;;HPP控制器的系统级功能验证[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年

2 尹林子;李广军;;基于VHDL的8051IP核设计[A];中国通信集成电路技术与应用研讨会论文集[C];2004年

3 乔瑞红;;EDA技术可实现片上可编系统[A];AECC专题学术研讨会论文集[C];2007年

4 丁林;涂晓东;;光纤通道HBA卡DMA引擎的设计与实现[A];中国通信学会第六届学术年会论文集（上）[C];2009年

5 张秀艳;赵凤军;;基于FPGA IP核的DDR SDRAM控制器的设计[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年

6 李翔;林水生;;AHB-16-bit PC Card桥及其基于Bus Function Model的功能验证[A];2006中国西部青年通信学术会议论文集[C];2006年

7 卓智海;钟宁;;高速大容量固态光纤存储系统设计[A];2008中国仪器仪表与测控技术进展大会论文集（Ⅲ）[C];2008年

8 鲁巍;杨修涛;李晓维;;基于JTAG标准的边界扫描结构在一款通用CPU中的设计[A];第十届全国容错计算学术会议论文集[C];2003年

9 李光辉;邵明;李晓维;;用形式方法验证通用CPU设计[A];第十届全国容错计算学术会议论文集[C];2003年

10 董强;李道煜;于忠清;张华;;Wishbone总线的研究与实现[A];2005年中国智能自动化会议论文集[C];2005年

相关重要报纸文章 前10条

1 魏少军;IP核的生成及复用[N];中国电子报;2002年

2 本报记者 王小庆 于寅虎;透视ARM模式[N];中国电子报;2002年

3 ;中国首款WAPI芯片及IP核在西安问世[N];中国电子报;2004年

4 ;Xilinx提供AS IP核心[N];计算机世界;2004年

5 中科院计算技术研究所 张志敏;SoC引领嵌入式系统发展[N];计算机世界;2004年

6 沈绪榜;微电子技术智能产业革命的需要[N];中国计算机报;2002年

7 北京海尔集成电路设计有限公司产品开发部 赖祥宁;SOC开辟应用类芯片市场[N];中国电子报;2003年

8 郭松柳 顾瑜 陈建党 汪东升;可扩展的片上多处理器模拟器及评测系统[N];计算机世界;2005年

9 何小明;助SoC一臂之力有五法[N];中国电子报;2001年

10 张志敏;SoC：计算机体系结构的重要发展方向[N];中国社会科学院院报;2004年

相关博士学位论文 前6条

1 罗春;基于仿真的系统芯片功能验证技术研究[D];东南大学;2006年

2 杜学亮;定制指令与协处理器加速机制的研究[D];中国科学技术大学;2009年

3 姚英彪;高性能嵌入式RISC微处理器核设计研究[D];浙江大学;2006年

4 李侠;低功耗嵌入式微处理器的VLSI设计研究[D];复旦大学;2004年

5 叶俊;面向特征的SystemC模型产品线的开发和形式化功能验证技术研究[D];国防科学技术大学;2011年

6 洪兴勇;高性能BWDSP处理器指令Cache研究与设计[D];合肥工业大学;2013年

相关硕士学位论文 前10条

1 杨成文;八位嵌入式RISC MCU IP核设计研究[D];西北工业大学;2004年

2 王京;八位RISC微控制器IP核设计[D];西北工业大学;2006年

3 陈若愚;媒体处理器中集成USB接口的研究[D];浙江大学;2004年

4 张培俭;基于SoC总线的IP核封装研究[D];青岛大学;2006年

5 张顺和;PCI总线接口设计的应用与研究[D];西安电子科技大学;2006年

6 张西;AES协处理器IP核的设计与实现[D];西安电子科技大学;2007年

7 黎宝峰;嵌入式DSP处理器的设计与验证[D];湖南大学;2003年

8 朱志华;嵌入式系统开发平台[D];青岛大学;2007年

9 吴小霞;USB设备接口IP核的设计[D];清华大学;2005年

10 信磊;对称多核处理器中Cache一致性的研究与实现[D];合肥工业大学;2007年

，

本文编号：1726355