逻辑仿真

逻辑仿真（），或称逻辑模拟，是对硬件描述语言所定义数字电路行为的预测与检验，通常可以利用计算机仿真实现。逻辑仿真可以在具有不同物理抽象层次（级别）下进行，例如晶体管级、逻辑门级、寄存器传输级和行为级。其基本原理是使用计算机软件模拟一个激励信号，然后观察所设计电路的响应行为。

参考文献

相关条目 
 功能验证
 逻辑综合

外部链接 
 Digital Logic Simulator v0.4 - Brad-Ware Studios' free program that supports real-time edit and simulation, as well as abstracting. Include entire scenes that you have created, as a single chip.
 Atanua is openGL based software for real time designing and simulating digital logic circuits 
 Hades – a framework for interactive, discrete-event based simulation.
 Simulo – Free Digital Logic Simulator  
 LogicCircuit – is educational software for designing and simulating digital logic circuits. 
 Deeds - free educational suite for digital logic circuit simulation and design, including finite state machines (FSM) and microprocessors simulation and design facilities.

L