Chris Wilson, David L. Dill, Randal E. Bryant  Home/Search
Context Related
| stanford.edu/PAPERS/CWFMCAD00.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Symbolic methods such as model checking using binary decision diagrams (BDDs) have had limited success in verifying large designs because BDD sizes regularly exceed memory capacity. Symbolic simulation is a method that controls BDD size by allowing the user to specify the number of symbolic variables in a test. However, BDDs still may blow up when using symbolic simulation in large designs with a large number of symbolic variables. This paper describes techniques for limiting the size... (Update)
Context of citations to this paper: More
...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...
Cited by: More
Methods for Evaluating and Covering the Design Space during Early.. - Gries (2004) (Correct)
Algorithms for Efficient State Space Search - Ganai (2001) (Correct)
Active bibliography (related documents): More All
0.5: Reliable Verification Using Symbolic Simulation with Scalar.. - Chris Wilson Computer (2000) (Correct)
0.5: Symbolic RTL Simulation - Kölbl, Kukula, Damiano (2001) (Correct)
0.4: Symbolic Simulation Using Automatic Abstraction of Internal Node.. - Wilson (2001) (Correct)
Similar documents based on text: More All
0.4: Handling Special Constructs in Symbolic Simulation - Kölbl, Kukula, Antreich.. (2002) (Correct)
0.3: Efficient State Representation for Symbolic Simulation - Bertacco, Olukotun (2002) (Correct)
0.2: Formal Verification of Descriptions with Distinct Order .. - Ritter, Hinrichsen.. (Correct)
Related documents from co-citation: More All
2: Performance analysis through synthetic trace generation - Eeckhout, De Bosschere et al.
2: A Solution Methodology for Exact Design Space Exploration in a Three Dimensional.. - Chaudhuri, Blythe et al. - 1997
2: A framework for user assisted design space exploration - Hu, Greenwood et al. - 1999
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/wilson00symbolic.html More
@inproceedings{ wilson00symbolic,
author = "Chris Wilson and David L. Dill and Randal E. Bryant",
title = "Symbolic Simulation with Approximate Values",
booktitle = "Formal Methods in Computer-Aided Design",
pages = "470-485",
year = "2000",
url = "citeseer.ist.psu.edu/wilson00symbolic.html" }
Citations (may not include all citations):510 Symbolic boolean manipulation with ordered binary decision d.. - Bryant - 1992
390 Machine program for theorem-proving (context) - Davis, Logemann et al. - 1962
108 Symbolic model checking using sat procedures instead of bdds - Biere, Cimatti et al. - 1999
47 Formal verification by symbolic evaluation of partially-orde.. - Seger, Bryant - 1995
31 Algorithms for approximate fsm traversal based on state spac.. (context) - Cho, Hachtel et al. - 1996
21 Abstraction techniques for validation coverage analysis and .. - Moundanos, Abraham et al. - 1998
16 Validation coverage analysis for complex digital designs (context) - Ho, Horowitz - 1996
15 The mercury interconnect architecture: A cost-effective infr.. (context) - Weber - 1997
13 Approximation and decomposition of binary decision diagrams - Ravi, McMillan et al. - 1998
12 Approximate reachability with bdds using overlapping project.. - Govindaraju, Dill et al. - 1998
11 Efficient symbolic simulation based verification using the p.. (context) - Jain, Gopalakrishnan - 1994
10 Formal verification using parametric representations of bool.. (context) - Jones, Aagard et al. - 1999
9 Efficient propositional constraint propagation (context) - Dalal - 1992
5 Cycle-based symbolic simulation of gatelevel synchronous cir.. - Bertacco, Damiani et al. - 1999
3 Augmenting simulation with symbolic algorithms (context) - Ganai, Aziz et al. - 1999
3 Cmu bdd package (context) - Long - 1993
2 Reliable verification using symbolic simulation with scalar .. - Wilson, Dill - 2000
Documents on the same site (http://sprout.stanford.edu/papers.html): More
Self-Consistency Checking - Jones, Seger, Dill (1996) (Correct)
Verifying Systems with Replicated Components in Murφ - Ip, Dill (1997) (Correct)
A High-Performance Asynchronous SCSI Controller - Yun, Dill (1995) (Correct)
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