3.1 模拟验证概述

3.1.1 设计自动化与模拟验证

　当设计者设计或修改了一个电路后，需要验证其正确性。在分阶段自上而下对大规模集成电路进行设计的过程中，从设计者最初对电路功能、行为的描述，到每个层次的设计结果，每一个阶段都要进行正确性验证，以保证设计中的错误早期发现，早期消除。
　验证的目的有以下三个方面：验证原始描述的正确性；验证设计结果的逻辑功能是否符合原始规定的逻辑功能；验证设计结果中不含有违反设计规则的错误。