存储系统功能验证方法浅析

Analysis of Methods of Functional Verification for Memory System

IC日益增长的设计复杂性和在时间、代价方面的需求,使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足 要求,采用新的验证方法势在必行。以存储系统功能性的验证为例,介绍了目前流行的先进的验证方法.包括ABV(Assertion-based verification)和TBV(Transaction-based verification)。对ASIC芯片的一般功能验证流程也作了较为详尽的分析。

The ever-increasing of ICs complexity and the demands for time and cost made the verification more important and more difficult. The traditional methods of verification can't meet the requirement anymore. So it is necessary to adopt some new methods. This paper introduces some advanced and popular methods of verifying the function of memory system, such as assertion-based verification (ABV) and transaction-based verification (TBV) . It also makes detailed analysis for the typical functional verification flow for ASICs.