Randal E. Bryant  Home/Search
Context Related
| utah.edu/~myers/ee...MUCS92160.ps.gz 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: utah.edu/~myers/ee649/ee649 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction to VLSI Systems, Addison-Wesley, Reading, MA. [Meinel 1990] Meinel, C. 1990 Modified branching programs and their computational power, Lecture Notes in Computer Science Vol. 370, G. Goos, and J. Hartmanis, eds. SpringerVerlag, Berlin. [Minato et al 1990] Minato, S., Ishiura, N., and Yajima, S. 1990. Shared binary decision diagram with attributed edges for efficient Boolean function manipulation. Proceedings of the 27th ACM/IEEE Design Automation Conference (Orlando, June), ACM,... (Update)
Cited by: More
Retrenchment, and the Generation of Fault Trees - For Static Dynamic (Correct)
Scalable Subgraph Mapping for Acyclic Computation.. - Clark, Hormati, Mahlke.. (2006) (Correct)
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
Similar documents (at the sentence level): More
78.5%: Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992) (Correct)
76.7%: Unknown - Mcmillan Mcmillan Symbolic (Correct)
8.9%: Sequential Circuit Synthesis at the Gate Level - Sentovich (1993) (Correct)
Active bibliography (related documents): More All
0.1: Ground Temporal Logic: A Logic for Hardware Verification - Cyrluk, Narendran (1994) (Correct)
0.1: Specification, Simulation, and Verification of Timing Behavior - Amon (1993) (Correct)
0.1: Constraint Satisfaction Using Constraint Logic Programming - Van Hentenryck, Simonis.. (1992) (Correct)
Similar documents based on text: More All
0.5: Performance-Driven Routing with Multiple Sources - Cong, Madden (1997) (Correct)
0.3: Conclusions - Anderson (Correct)
0.2: Test Pattern Generation for Sequential MOS Circuits by Symbolic .. - Cho, Bryant (1989) (Correct)
Related documents from co-citation: More All
41: Graph-based algorithms for boolean function manipulation - Bryant - 1986
27: Efficient implementation of a BDD package (context) - Brace, Rudell et al. - 1990
21: Dynamic Variable Ordering for Ordered Binary Decision Diagrams (context) - Rudell - 1993
BibTeX entry: (Update)
Randall Y. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. Technical report, CMU, 1992. http://citeseer.ist.psu.edu/article/bryant92symbolic.html More
@article{ bryant92symbolic,
author = "Randal E. Bryant",
title = "Symbolic {Boolean} Manipulation with Ordered Binary-Decision Diagrams",
journal = "ACM Computing Surveys",
volume = "24",
number = "3",
pages = "293--318",
year = "1992",
url = "citeseer.ist.psu.edu/article/bryant92symbolic.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
316 Efficient implementation of a BDD package (context) - Brace, Bryant et al. - 1990
296 Logic Minimization Algorithms for VLSI Synthesis (context) - Brayton, Hachtel et al. - 1984
126 Binary decision diagrams (context) - Akers - 1978
47 Equivalence of free Boolean graphs can be decided probabilis.. (context) - Blum, Chandra - 1980
39 Boolean Reasoning (context) - Brown - 1990
26 Boolean satisfiability and equivalence checking using genera.. (context) - Ashar, Devadas et al. - 1991
20 Verifying pipelined hardware using symbolic logic simulation (context) - Bose, Fisher - 1989
16 Ordered binary decision diagrams and circuit structure (context) - Berman - 1989
9 Formal hardware verification by symbolic trajectory evaluati.. (context) - Beatty, Bryant et al. - 1991
9 Applications of testability analysis: From ATPG to critical .. (context) - Brglez, Pownall et al. - 1984
7 private communication (context) - Brace - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.async.elen.utah.edu/~myers/ee649/ee649.html):
Bit-Level Analysis of an SRT Divider Circuit - Bryant (1995) (Correct)
Verification of Arithmetic Functions with Binary Moment Diagrams - Bryant, Chen (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