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

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

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