用计算机验证数字电路逻辑功能的一种技术。首先为待验证的数字电路建立一个数学模型，在计算机上给这个模型输入一组随时间而变化的数字信号，然后观察计算机输出结果是否符合要求。一般可分为三级：系统级模拟、寄存器传输级模拟和门级模拟。