Revision as of 11:54, 6 June 2008 edit SmackBot (talk \| contribs) 3,734,324 edits m Date the maintenance tags or general fixes ← Previous edit		Revision as of 13:41, 14 July 2008 edit undo Hzarnani (talk \| contribs) 11 edits No 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]]

Symbolic simulation: Difference between revisions