Randal E. Bryant, Yirng-An Chen  Home/Search
Context Related
| cmu.edu/~bryant/pubd...CMUCS94160.ps cmu.edu/anon/1994/CMUCS94160.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: cmu.edu/~bryant/vitaefull (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the class of linear functions, we can embed arbitary functions from Boolean variables to real, rational, or integer values. BMDs can thus model the functionality of data path circuits operating over word level data. Many important functions, including integer multiplication, that cannot be represented efficiently at the bit ... (Update)
Similar documents based on text: More All
0.3: Verification of Arithmetic Functions with Binary Moment Diagrams - Bryant, Chen (1995) (Correct)
0.3: Verification of Arithmetic Circuits with Binary Moment Diagrams - Bryant, Chen (1995) (Correct)
0.3: Resume - Chen (Correct)
Related documents from co-citation: More All
66: Graph-based algorithms for boolean function manipulation - Bryant - 1986
34: Hybrid decision diagrams - overcoming the limitations of MTBDDs and BMDs - Clarke, Fujita et al. - 1995
33: Algebraic decision diagrams and their applications - Bahar, Frohm et al. - 1993
BibTeX entry: (Update)
R. E. Bryant and Y.-A. Chen. Verification of arithmetic functions with binary moment diagrams. In Proc. ACM/IEEE Design Automation Conference (DAC), pages 535--541, 1995. http://citeseer.ist.psu.edu/bryant94verification.html More
@techreport{ bryant94verification,
author = "Randy E. Bryant and Yirng-An Chen",
title = "Verification of Arithmetic Functions with Binary Moment Diagrams",
number = "CS-94-160",
pages = "41",
year = "1994",
url = "citeseer.ist.psu.edu/bryant94verification.html" }
Citations (may not include all citations):1726 Graph-based algorithms for Boolean function manipulation - Bryant - 1986
316 Freeman and Company (context) - Garey, Johnson et al. - 1979
316 Efficient implementation of a BDD package (context) - Brace, Rudell et al. - 1990
275 Dynamic variable ordering for ordered binary decision diagra.. (context) - Rudell - 1993
181 Algebraic decision diagrams and their applications - Bahar, Frohm et al. - 1993
173 the complexity of VLSI implementations and graph representat.. - Bryant - 1991
92 Spectral transforms for large Boolean functions with applica.. (context) - Clarke, McMillan et al. - 1993
82 Efficient representation and manipulation of switching funct.. (context) - Drechsler, Sarabi et al. - 1994
60 Multi-terminal binary decision diagrams: an efficient data s.. (context) - Clarke, Fujita et al. - 1993
49 Edge-valued binary decision diagrams for multi-level hierarc.. (context) - Lai, Sastry - 1992
35 Graph driven BDDs---a new data structure for Boolean functio.. (context) - Sieling, Wegner - 1994
28 Breadth-first manipulation of very large binarydecision diag.. (context) - Ochi, Yasuoka et al. - 1993
17 the relation between BDDs and FDDs - Becker, Drechsler et al. - 1993
16 Efficient analysis and manipulation of OBDDs can be extended.. (context) - Gergov, Meinel - 1994
13 Using BDDs to verify multipliers (context) - Burch - 1991
12 Functional partitioning for verification and related problem.. (context) - Jain, Bitner et al.
10 Massively distributed computing and factoring large integers (context) - Silverman - 1991
9 Multilevel logic based on functional decision diagrams (context) - Kebschull, Schubert et al. - 1992
9 Edge-valued binary-decision diagrams - Lai, Pedram et al. - 1993
8 Analyzing errors with the Boolean difference (context) - Sellers, Hsiao et al. - 1968
8 Boolean Methods in Operations Research (context) - Hammer, Rudeanu - 1968
7 FGILP: An integer linear program solver based on function gr.. (context) - Lai, Pedram et al. - 1993
3 Digital Circuits for Binary Arithmetic (context) - Oberman - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~bryant/vitae-full.html): More
ACV: An Arithmetic Circuit Verifier - Chen, Bryant (1996) (Correct)
Symbolic Simulation-Techniques and Applications - Bryant (1990) (Correct)
Microprocessor Verification Using Efficient Decision.. - Bryant, German, Velev (1999) (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