Efficient OBDD-based boolean manipulation in CAD beyond current limits

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Efficient OBDD-based boolean manipulation in CAD beyond current limits

Full text

Pdf (240 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference table of contents

San Francisco, California, United States

Pages: 408 - 413

Year of Publication: 1995

ISBN:0-89791-725-1

Authors

Jochen Bern	FB IV - Informatik, Universität Trier, D-54 286 Trier, Germany
Christoph Meinel	FB IV - Informatik, Universität Trier, D-54 286 Trier, Germany
Anna Slobodová	FB IV - Informatik, Universität Trier, D-54 286 Trier, Germany

Sponsors

EDAC : Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 5, Citation Count: 12

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/217474.217563 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	BGMS94	J. Bern, J. Gergov, Ch. Meinel, A. Slobodov~: Boolean Manipulation with Free BDDs. First Experimental Results, Proc. of European Design and Test Conference 1994, IEEE Computer Society Press, 200-207, 1994.
	BCMD90	J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill: Symbolic Model Checking: 10~~ states and beyond, Proc. of 5th IEEE Symposium on Logic in Computer Science, 46-51, 1990.
	BRB90	Karl S. Brace , Richard L. Rudell , Randal E. Bryant, Efficient implementation of a BDD package, Proceedings of the 27th ACM/IEEE conference on Design automation, p.40-45, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123222]
	Bry86	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986 [doi>10.1109/TC.1986.1676819]
	Bry91	Randal E. Bryant, On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication, IEEE Transactions on Computers, v.40 n.2, p.205-213, February 1991 [doi>10.1109/12.73590]
	Bry92	Randal E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys (CSUR), v.24 n.3, p.293-318, Sept. 1992 [doi>10.1145/136035.136043]
	GM93	Jordan Gergov , Christoph Meinel, Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs, Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, p.576-585, February 25-27, 1993
	JBFA92	J. Jain, J. Bitner, D. S. Fussel, J. Abraham: Probabilistic Verification of Boolean Functions, Formal Methods in System Design, 1: 63-117, 1992.
	Kar89	Kevin Karplus, Using if-then-else DAGs for multi-level logic minimization, Proceedings of the decennial Caltech conference on VLSI on Advanced research in VLSI, p.101-117, June 1989, Cambridge, Massachusetts, United States
	MWBS88	S. Malik, A. Wang, R. K. Brayton, A. Sangiovanni-Vincentelli: Logic Verification Using Binary Decision Diagrams in a Logic Synthesis Environment, Proc. of the IEEE International Conference on Computer-Aided Design (Santa Clara, Calif., Nov.), 6-9, 1988.

CITED BY 12

	Randal E. Bryant, Binary decision diagrams and beyond: enabling technologies for formal verification, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.236-243, November 05-09, 1995, San Jose, California, United States
	E. I. Goldberg , Y. Kukimoto , R. K. Brayton, Combinational verification based on high-level functional specifications, Proceedings of the conference on Design, automation and test in Europe, p.803-809, February 23-26, 1998, Le Palais des Congrés de Paris, France
	Randal E. Bryant , Christoph Meinel, Ordered binary decision diagrams, Logic Synthesis and Verification, Kluwer Academic Publishers, Norwell, MA, 2001
	Detlef Sieling, Lower bounds for linearly transformed OBDDs and FBDDs, Journal of Computer and System Sciences, v.64 n.2, p.419-438, March 2002
	Christoph Meinel , Fabio Somenzi , Thorsten Theobald, Linear sifting of decision diagrams, Proceedings of the 34th annual conference on Design automation, p.202-207, June 09-13, 1997, Anaheim, California, United States
	R. Glenn Wood , Rob A. Rutenbar, FPGA routing and routability estimation via Boolean satisfiability, Proceedings of the 1997 ACM fifth international symposium on Field-programmable gate arrays, p.119-125, February 09-11, 1997, Monterey, California, United States
	Amit Narayan , Adrian J. Isles , Jawahar Jain , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli, Reachability analysis using partitioned-ROBDDs, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.388-393, November 09-13, 1997, San Jose, California, United States
	Christoph Meinel , Thorsten Theobald, Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines, Formal Methods in System Design, v.18 n.3, p.285-301, May 2001
	Detlef Sieling , Ingo Wegener, A Comparison of Free BDDs and Transformed BDDs, Formal Methods in System Design, v.19 n.3, p.223-236, November 2001
	Christoph Meinel , Christian Stangier, Data structures for Boolean functions, Computational Discrete Mathematics: advanced lectures, Springer-Verlag New York, Inc., New York, NY, 2001
	Christoph Meinel , Anna Slobodová, A Unifying Theoretical Background for Some Bdd-based Data Structures, Formal Methods in System Design, v.11 n.3, p.223-237, Oct. 1997
	Orna Grumberg , Shlomi Livne , Shaul Markovitch, Learning to order BDD variables in verification, Journal of Artificial Intelligence Research, v.18 n.1, p.83-116, January 2003