Symbolic simulation: Difference between revisions

Revision as of 03:39, 7 October 2009

Revision as of 20:44, 4 June 2010

Line 5:

'''Symbolic simulation''' is a form of simulation where many possible executions of a system are considered simultaneously. This is typically achieved by augmenting the ___domain over which the simulation takes place. A symbolic [[Variable (programming)|variable]] can be used in the simulation state representation in order to index multiple executions of the system. For each possible valuation of these variables, there is a concrete system state that is being indirectly simulated.

Because symbolic simulation can cover many system executions in a single simulation, it can greatly reduce the size of verification problems. Techniques such as [[Symbolicsymbolic Trajectorytrajectory Evaluation|Symbolic Trajectory Evaluationevaluation]] (STE)]] and [[Generalizedgeneralized Symbolicsymbolic Trajectorytrajectory Evaluationevaluation]] (GSTE)]] are based on this idea of symbolic simulation.

[[Category:Electronic design automation]]