对许多人来说，LSI、VLSI这些名词，已如同真空管这个名词一般走入了历史。现在的IC设计这个领域，大家朗朗上口的都是SoC(System-on-Chip)、Embedded CPU、Embedded Memory这些名词。随着IC设计愈趋于复杂，验证工作也如恶梦般地困扰着工程师们。本文主要探讨在SoC的设计中，验证工作所必须面对的问题与解决的方法。

RTL阶段为成败关键

由于逻辑合成工具和自动布局绕线工具的使用，使得整个IC设计流程变得非常顺畅。只要RTL阶段的设计验证工作能确实无误，完全合乎规格书所规范的功能，那么整个设计个案几乎可以说已经完成了一大半。根据相关的研究数据，目前多数的IC设计个案中，RTL阶段的设计验证工作占了整个设计流程约60%～80%左右的时间；而且绝大多数的资源也都放在设计验证工作上，会造成如此大的比重不外乎是由于IC越设计越大和Embedded IP core的使用。
...
...