基于虚拟SoC平台的IP正交激励验证方法

摘要：

针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内的IP验证虚拟SoC平台;基于此平台提出通信与计算分离的正交化激励映射,并分别优化IP通信接口与逻辑功能验证用例生成流程.多个IP的功能验证实例结果表明,该方法可显著地提高IP验证重用性与验证效率,降低验证复杂度.

关键词：IP功能验证、SoC仿真平台、正交分类、验证激励生成

所属期刊栏目：22

分类号：TN402(微电子学、集成电路（IC）)

资助基金：国家自然科学基金重大国际合作研究项目60720106003

在线出版日期：2011-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1399-1405