Revision as of 21:24, 24 April 2009 edit AndrewHowse (talk \| contribs) Pending changes reviewers, Rollbackers 37,750 edits m Disambig links to dab page variable and general clean-up using AWB ← Previous edit		Revision as of 05:08, 15 June 2009 edit undo Jasonb05 (talk \| contribs) 372 edits fixed broken link Next edit →
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 [[Symbolic Trajectory Evaluation\|Symbolic Trajectory Evaluation (STE)]] and [[Generalized Symbolic Trajectory Evaluation (GSTE)]] are based on this idea of symbolic simulation. [[Category:Electronic design automation]]

Symbolic simulation: Difference between revisions