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

Verification of digital circuit IP soft core task flow

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

This article raised a digit circuit IP soft core verification based on task flow.According to the design requirement of digit circuit IP soft core,it categorizes the original IP core and divides a complicated verification task into different sub-tasks according to the functions the IP core can achieve.Then it conducts verification of different sub-tasks and connects them into a specific soft core task aim and thus forms a task flow.This article chooses a part of complicated IP soft core for verification,divides into different tasks according to its functional structure and sets up a comprehensive task implementation model.Finally,from the verification result of Modelsim tool,we can see that the IP core verification that based on task flow can accurately categorize IP modules so as to avoid leaving out functions and verify all functions of IP cores.