| 基于带约束的随机平台接口IP核的功能验证 |
| |
| 引用本文： | 孟庆东,陈佳佳,李兆麟.基于带约束的随机平台接口IP核的功能验证[J].微处理机,2010,31(5). |
| |
| 作者姓名： | 孟庆东 陈佳佳 李兆麟 |
| |
| 摘 要： | 针对目前SOC设计中IP核的验证工作,分析与研究了基于带约束的随机功能验证,通过比较确定性的直接验证方法与可约束的随机验证方法,对独立设计的EMIF IP核进行验证.在此基础上,应用参数化的脚本文件生成和维护可约束的随机测试点.通过搭建验证平台分析了仿真接口输出响应以及仿真结果,表明该方法具有较强的灵活性与可维护性,同时能有效提高验证效率.
|
| 关 键 词： | EMIF模块 IP核验证 可约束随机验证 参数化 |
Function Verification of Interface IP Core Based on the Restricted Random Test Bench |
| |
| MENG Qing-dong,CHEN Jia-jia,LI Zhao-lin.Function Verification of Interface IP Core Based on the Restricted Random Test Bench[J].Microprocessors,2010,31(5). |
| |
| Authors: | MENG Qing-dong CHEN Jia-jia LI Zhao-lin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
