Logic simulation: Difference between revisions

Revision as of 17:06, 29 March 2009

Revision as of 19:59, 22 April 2009

Line 1:

'''Logic simulation''' is the use of a computer program to [[simulate]] the operation of a [[digital circuit]]. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed in the process of taking a hardware design from concept to realization. Modern [[hardware description language]]s are both simulatable and [[Logic synthesis|synthesizable]]. Designing hardware today is really writing a program in a hardware description language. Performing a simulation is just running that program. When the program (or model) runs correctly, then one can be reasonably assured that the logic of the design is correct, ''for the cases that have been tested in the simulation''.

== Levels of abstraction ==