-
题名数字电路IP软核任务流方法验证
- 1
-
-
作者
何朝军
李哲英
-
机构
北京交通大学电子信息工程学院
北京联合大学信息学院
-
出处
《电子测量技术》
2011年第8期13-17,共5页
-
基金
北京市教委(PHR(IHLB)20090513)项目
国家自然基金项目(NSFC609976024)支持
-
文摘
提出了基于任务流的数字电路IP软核验证方法。根据数字电路IP软核的设计要求,对原有的IP核进行研究划分,将1个复杂的验证任务按照IP核所实现的功能分解为不同的子任务。再把不同的子任务进行验证,并连接起来组成1个具体的软核工作目标,形成了任务流。选择了1个复杂的IP软核中一部分进行了验证,通过分析其功能结构,划分了不同的任务,并建立了任务执行的综合模型,最后从Modelsim仿真工具下的验证结果中可以看出,基于任务流的IP核验证方法对IP模块的划分准确,避免了功能的遗漏,可以使IP核的所有功能得以验证。
-
关键词
SOC
IP核
任务流
usb协议控制器
-
Keywords
SoC
IP core
task flow
usb protocol controller
-
分类号
TN406
[电子电信—微电子学与固体电子学]
-
