Symbolic simulation: Difference between revisions

Revision as of 08:41, 22 July 2006

Revision as of 00:29, 8 November 2006

Line 1:

{{linkless|November 2006}}

In computer science, a [[simulation]] is a computation of the execution of some appropriately modelled state-transition system. Typically this process models the complete state of the system at individual points in a discrete linear time frame, computing each state sequentially from its predecessor. Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an [[operational semantics]] which can be used directly for simulation.