基于带约束的随机平台接口IP核的功能验证

摘要：

针对目前SOC设计中IP核的验证工作,分析与研究了基于带约束的随机功能验证,通过比较确定性的直接验证方法与可约束的随机验证方法,对独立设计的EMIF IP核进行验证.在此基础上,应用参数化的脚本文件生成和维护可约束的随机测试点.通过搭建验证平台分析了仿真接口输出响应以及仿真结果,表明该方法具有较强的灵活性与可维护性,同时能有效提高验证效率.

关键词：EMIF模块、IP核验证、可约束随机验证、参数化

所属期刊栏目：31

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

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

页数：共4页

页码：17-20