Revision as of 15:16, 14 July 2008 edit Hzarnani (talk \| contribs) 11 edits No edit summary ← Previous edit		Revision as of 15:17, 14 July 2008 edit undo Hzarnani (talk \| contribs) 11 edits mNo edit summary Next edit →
Line 7: 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 (STE)]] and [[Generalized Symbolic Trajectory Evaluation (GSTE)]] are based on this idea of symbolic simulation. [[Category:Computer science]][[Category:Electronic design automation]][[Category:Formal ~~Methods~~methods]]

Symbolic simulation: Difference between revisions