C. Wilson, D. L. Dill, R. E. Bryant, Symbolic simulation with approximate values, in: Third International Conference on Formal Methods in ComputerAided Design, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Algorithms for Efficient State Space Search - Ganai (2001) (2 citations) (Correct)
....6 Robust Symbolic Simulation Symbolic simulation as compared to cycle simulation, simulates a design over the complete input space. It uses symbolic expressions to evaluate functions to encode the circuit behavior. However, the use of BDD limits the capability of the symbolic simulator [78, 88, 11] due to the potentially memory intensive nature of BDDs. SATsolvers, on the other hand, enjoy several properties which make them attractive as a complement to BDDs. Their performance is less sensitive to the problem size and they do not su er from space explosion. Recently, several SAT based model ....
....runtime comparison, b) memory comparison. 49 Chapter 4 Robust Symbolic Simulation Symbolic simulation, which will be our focus of this chapter, uses symbolic expressions to evaluate functions to encode circuit behavior. However, the use of BDDs [21] limits the capability of symbolic simulator [78, 88, 11] due to memory intensive nature of BDDs. On the other hand, SAT solvers enjoy several properties which make them attractive as a complement to BDDs. Their performance is less sensitive to the problem size and they do not su er from space explosion. Recently, we observe several SAT based model ....
[Article contains additional citation context not shown here]
C. Wilson, D. L. Dill, and R. E. Bryant. Symbolic Simulation with Approximate Values. In Proc. of the Formal Methods in CAD Conf., Austin, TX, November 2000.
Methods for Evaluating and Covering the Design Space during Early.. - Gries (2004) (2 citations) (Correct)
No context found.
C. Wilson, D. L. Dill, R. E. Bryant, Symbolic simulation with approximate values, in: Third International Conference on Formal Methods in ComputerAided Design, 2000.
Methods for Evaluating and Covering the Design Space during Early.. - Gries (2003) (2 citations) (Correct)
No context found.
C. Wilson, D. L. Dill, and R. E. Bryant. Symbolic simulation with approximate values. In Third International Conference on Formal Methods in Computer-Aided Design, Nov. 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC