数字电路IP软核任务流方法验证

何朝军; 李哲英

首页> 中文期刊> 《电子测量技术》 >数字电路IP软核任务流方法验证

数字电路IP软核任务流方法验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出了基于任务流的数字电路IP软核验证方法。根据数字电路IP软核的设计要求,对原有的IP核进行研究划分,将1个复杂的验证任务按照IP核所实现的功能分解为不同的子任务。再把不同的子任务进行验证,并连接起来组成1个具体的软核工作目标,形成了任务流。选择了1个复杂的IP软核中一部分进行了验证,通过分析其功能结构,划分了不同的任务,并建立了任务执行的综合模型,最后从Modelsim仿真工具下的验证结果中可以看出,基于任务流的IP核验证方法对IP模块的划分准确,避免了功能的遗漏,可以使IP核的所有功能得以验证。

著录项

来源
《电子测量技术》 |2011年第8期|13-17|共5页
作者
何朝军; 李哲英;
展开▼
作者单位

北京交通大学电子信息工程学院;

北京联合大学信息学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类可靠性及例行试验;
关键词
SoC; IP核; 任务流; USB协议控制器;

相似文献

中文文献
外文文献
专利

1. IP软核测试策略及验证方法研究 [J] . 闫淑梅 ,邹明亮 . 电子设计工程 . 2013,第004期
2. IP软核测试策略及验证方案研究 [J] . 王力生 ,张晨 . 科技传播 . 2011,第022期
3. FC IP软核的仿真与验证 [J] . 杨海波 ,田泽 ,蔡叶芳 . 计算机技术与发展 . 2009,第009期
4. SPWM信号产生系统IP软核设计及验证 [J] . 陈利杰 ,董焕芝 . 内蒙古科技大学学报 . 2005,第004期
5. 基于携带证明代码的IP核安全性验证方法 [J] . 王丽娟 ,张荣 ,周昱 . 电子设计工程 . 2019,第005期
6. IP软核的形式化验证 [C] . 吴铃铃 ,周干民 ,何伟 . 全国第十五届计算机科学与技术应用学术会议 . 2003
7. 数字电路IP软核行为级设计方法研究 [A] . 何朝军 . 2011

数字电路IP软核任务流方法验证

摘要

著录项

相似文献

相关主题

期刊订阅