基于面向多种覆盖率驱动的验证方法研究  

Research of verification method based on multi-oriented coverage-driven

作　　者：董伟杰[1] 张晓静 

机构地区：[1]重庆邮电大学,重庆400065 [2]包头市铁路工程学校,内蒙古包头014010

出　　处：《中国测试技术》2008年第5期54-56,共3页CHINA MEASUREMENT & TESTING TECHNOLOGY

基　　金：国家"863"计划资助项目(2004AA123150);国家"863"技术引导项目(2004AA001390)

摘　　要：验证工作就是将设计者的意图与观察到的被验证的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.

关 键 词：验证方法 覆盖率驱动 功能覆盖率 结构覆盖率 断言覆盖率 

分 类 号：TN929.533[电子电信—通信与信息系统] TP206.1[电子电信—信息与通信工程]