Symbolic Simulation - Techniques and Applications

Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulator can compute what would require many runs of a traditional simulator. Symbolic simulation has applications in both logic and timing verification, as well as sequential test generation. The concept of symbolic simulation has been discussed for over 10 years, but early attempts had only limited

• Type: Conference
• Year: 1990
• Where: DAC
• Authors: Randal E. Bryant
• Keywords: Computer Architecture, DAC 1990, Special Symbolic Values, Symbolic Simulation, Symbolic Simulator