1.4 EDA的主要领域

1.4.2 模拟验证

　所谓模拟验证, 是指对实际数字系统加以抽象, 提取其模型, 将其输入计算机。然后将外部激励信号施加于此模型, 通过观察模型在外部激励信号作用下的反应判断该数字系统是否实现了预期的功能。本书第3章将介绍有关模拟验证的技术。
　模拟技术是当前数字系统验证的主要手段。它的局限性在于: 模拟器的功能仅是表现在某一组外部激励信号作用下该数字系统的行为, 至于加什么样的外部激励信号以及在该外部激励信号作用下系统的反应的正确与否, 完全由设计者自己决定。
　由此可知, 设计者必须给模拟器提供以下信息:
　（1）数字系统基本元件的功能特性。
　（2）基本元件的互连关系或相互作用的关系。
　（3）模拟过程所需的信息, 如外部激励信号的名称和波形、观察点的名称以及如何表示被观察信号的命令等。