Randal E. Bryant  Home/Search
Context Related
Links: ACM | cs.ubc.ca/spider/ajh...cmucs92160.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: 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%: Model Checking, Abstraction, and Compositional Verification - Long (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: Symbolic Abstractions Of Automata - Pinchinat, Marchand (2000) (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 ACM
316 Efficient implementation of a BDD package (context) - Brace, Bryant et al. - 1990 ACM DBLP
296 Logic Minimization Algorithms for VLSI Synthesis (context) - Brayton, Hachtel et al. - 1984 ACM
126 Binary decision diagrams (context) - Akers - 1978 ACM DBLP
47 Equivalence of free Boolean graphs can be decided probabilis.. (context) - Blum, Chandra - 1980 DBLP
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 ACM
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.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