摘要
验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析。然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求。覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据。
Verification is to compare and decide the intention of the designers and the expected behavior of the IC to be verified. As an example, in this article, the functional coverage, structural coverage, assertion coverage, timing coverage, and other coverage of the ZSP-UART module for TD-SCDMA chip were analyzed in detail on the basis of the verification process of multi-oriented coverage-driven. Then the obtained data were used to verify again and again until the the designers' requirements were met with the integrity of verification. Also, it could be used as a tool to tell the quality of verifying whether the coverage met the requirements.
出处
《中国测试技术》
CAS
2008年第5期54-56,共3页
CHINA MEASUREMENT & TESTING TECHNOLOGY
基金
国家"863"计划资助项目(2004AA123150)
国家"863"技术引导项目(2004AA001390)
关键词
验证方法
覆盖率驱动
功能覆盖率
结构覆盖率
断言覆盖率
Verification method
Coverage-driven
Functional coverage
Structural coverage
Assertion coverage