验证中的软件仿真（Simulation）

仿真器是一个运行硬件模型的软件。它可以用几种抽象级别并使用各种语言编写。例如，系统的仿真模型可能以一种称为SPICE的语言以非常详细的抽象级别书写，并由相同名称的仿真器执行仿真。今天大多数数字模型都是使用称为寄存器传输级（RTL）的抽象语言（使用Verilog或VHDL语言）编写的。最近，SystemC已经成为一种更抽象的系统建模语言。大多数商业仿真器接受多种抽象和语言，但很少支持所有这些抽象和语言。
假设你有一个模型，仿真器将运用该模型并根据提供给它的激励来观察它的行为。对于验证行为，您需要确保设计符合预期。激励，检查器，覆盖范围，约束和结果预测器的集合称为测试台。