E. M. Clarke, M. Fujita, X. Zhao  Home/Search
Context Related
| cs.ubc.ca/spider/ajh...iccad95_03a_2.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: ece.concordia.ca/~...elec790h.ref (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We discuss the relationship between these methods and describe a generalization called hybrid decision diagrams which is often much more concise. We show how to implement arithemetic operations efficiently for hybrid decision diagrams. In practice, this is one of the main limitations of BMDs... (Update)
Cited by: More
Ordered Binary Decision Diagrams - And Minimal Trellises (Correct)
Model Checking - Clarke, Schlingloff (2000) (Correct)
Path-Sensitive Analysis for Linear Arithmetic and - Uninterpreted Functions Sumit (Correct)
Similar documents (at the sentence level):
57.9%: Applications of Multi-Terminal Binary Decision Diagrams - Clarke, Fujita, Zhao (1995) (Correct)
40.2%: Word Level Symbolic Model Checking - Clarke, Zhao (1995) (Correct)
Active bibliography (related documents): More All
0.3: Hybrid Decision Diagrams - Overcoming The Limitations (1995) (Correct)
0.0: Manipulation Algorithms for K*BMDs - Drechsler, Becker, Ruppertz (1997) (Correct)
0.0: Reordering Based Synthesis - Hett, Drechsler, Becker (1997) (Correct)
Similar documents based on text: More All
0.4: On the Representational Power of Bit-Level and.. - Becker, Drechsler.. (1997) (Correct)
0.3: K*BMDs: A New Data Structure for Verification - Drechsler, Becker, Ruppertz (1996) (Correct)
0.3: Word-Level Decision Diagrams, WLCDs and Division - Scholl, Becker, Weis (1998) (Correct)
Related documents from co-citation: More All
40: Graph-based algorithms for boolean function manipulation - Bryant - 1986
34: Verification of arithmetic functions with binary moment diagrams - Bryant, Chen - 1995
26: Spectral transforms for large Boolean functions with application to technology m.. (context) - Clarke, McMillan et al. - 1993
BibTeX entry: (Update)
E.M. Clarke, M. Fujita, and X. Zhao. Hybrid decision diagrams - overcoming the limitations of MTBDDs and BMDs. In Int'l Conf. on CAD, pages 159--163, 1995. http://citeseer.ist.psu.edu/clarke95hybrid.html More
@techreport{ clarke95hybrid,
author = "Edmund Clarke and Masahiro Fujita and Xudong Zhao",
title = "Hybrid Decision Diagrams: Overcoming the Limitations of {MTBDD}s and {BMD}s",
number = "CS-95-159",
pages = "21",
year = "1995",
url = "citeseer.ist.psu.edu/clarke95hybrid.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
181 Algebraic decision diagrams and their applications - Bahar, Frohm et al. - 1993
92 Spectral transforms for large boolean functions with applica.. (context) - Clarke, McMillan et al. - 1993
87 Verification of arithmetic functions with binary moment diag.. - Bryant, Chen - 1995
82 Efficient representation and manipulation of switching funct.. (context) - Drechsler, Sarabi et al. - 1994
33 Application of boolean algebra to switching circuit design a.. (context) - Muller - 1954
22 Fast ofdd based minimization of fixed polarity reed-muller e.. - Drechsler, Theobald et al. - 1994
4 Introcution to matrix analysis (context) - Bellman - 1970
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ece.concordia.ca/~tahar/elec790h/elec790h.ref.html): More
Binary Decision Diagrams and Beyond: Enabling Technologies for.. - Bryant (1995) (Correct)
Formal Verification of Combinational Circuits - Jain, Narayan, Fujita.. (1997) (Correct)
Symbolic Model Checking: 10 20 States and Beyond - Burch, Clarke, McMillan.. (1990) (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