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