| 基于面向多种覆盖率驱动的验证方法研究 |
| |
| 引用本文： | 董伟杰,张晓静.基于面向多种覆盖率驱动的验证方法研究[J].中国测试技术,2008,34(5). |
| |
| 作者姓名： | 董伟杰 张晓静 |
| |
| 作者单位： | 1. 重庆邮电大学,重庆,400065
2. 包头市铁路工程学校,内蒙古,包头,014010 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断.该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析.然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求.覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据.
|
| 关 键 词： | 验证方法 覆盖率驱动 功能覆盖率 结构覆盖率 断言覆盖率 |
Research of verification method based on multi-oriented coverage-driven |
| |
| DONG Wei-jie,ZHANG Xiao-jing.Research of verification method based on multi-oriented coverage-driven[J].China Measurement Technology,2008,34(5). |
| |
| Authors: | DONG Wei-jie ZHANG Xiao-jing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
