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

摘要：

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

关键词：存储系统、功能验证、ABV、TBV

所属期刊栏目：30

分类号：TP333(计算技术、计算机技术)

在线出版日期：2005-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：457-459,462