BDS: A BDD-Based Logic Optimization System

BDS: A BDD-Based Logic Optimization System (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Congguang Yang , Maciej Ciesielski , Vigyan Singhal

Venue:	Proc. of DAC 2000
Citations:	43 - 0 self

BibTeX

@INPROCEEDINGS{Yang00bds:a,
    author = {Congguang Yang and Maciej Ciesielski and Vigyan Singhal},
    title = {BDS: A BDD-Based Logic Optimization System},
    booktitle = {Proc. of DAC 2000},
    year = {2000},
    pages = {92--97}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

This paper describes a new BDD-based logic optimization system, BDS. It is based on a recently developed theory for BDD-based logic decomposition, which supports both algebraic and Boolean factorization. New techniques, which are crucial to the manipulation of BDDs in a partitioned Boolean network environment, are described in detail. The experimental results show that BDS has a capability to handle very large circuits. It offers a superior runtime advantage over SIS, with comparable results in terms of circuit area and often improved delay.

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
421	Efficient implementation of a BDD package - Brace, Rudell, et al. - 1990
386	Dynamic Variable Ordering for Ordered Binary Decision Diagrams - Rudell - 1993
356	SIS: A system for sequential circuit synthesis - Sentovich, Singh, et al. - 1992
320	Logic Minimization Algorithms For VLSI Synthesis - Brayton, McMullen, et al. - 1984
255	Switching and Finite Automata Theory - Kohavi - 1978
156	MIS: A multiple-level logic optimization system - Brayton, Rudell, et al. - 1987
145	The Decomposition of Switching Functions - Ashenhurst - 1959
132	Logic verification using binary decision diagrams in a logic synthesis environment - Malik, Wang, et al. - 1988
111	A unified framework for the formal verification of sequential circuits - Coudert, Madre - 1990
106	On variable ordering of binary decision diagrams for the application of multi-level logic synthesis - Fujita, Matsunaga, et al. - 1991
103	Multilevel logic synthesis - Brayton, Hachtel, et al.
83	Evaluation and improvements of boolean comparison method based on binary decision diagrams - Fujita, Fujisawa, et al. - 1988
79	Boolean Reasoning - Brown - 1990
77	Minimization of Binary Decision Diagrams Based on Exchange of Variables - Ishiura, Sawada, et al. - 1991
66	New Approach to the Design of Switching Circuits - Curtis - 1962
60	1854) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities - Boole
56	Representation of switching circuits by binary decision diagrams - Lee
55	Minimization over Boolean graphs - Roth, Karp - 1962
52	The disjunctive decomposition of logic functions - Bertacco, Damiani
42	New ideas for solving covering problems - Coudert, Madre - 1995
42	Heuristic minimization of BDDs using don’t cares - Shiple, Hojati, et al. - 1994
41	Verification of sequential machines based on symbolic execution - Coudert, Berthet, et al. - 1989
40	Algorithms for Technology Mapping Based on Binary Decision Diagrams and - Mailhot, Micheli - 1993
28	On the complexity of minimizing the OBDD size for incompletely specified functions”, Forschungsbericht Nr. 560, Universität Dartmund - Sauerhoff, Wegener - 1994
25	Using if-then-else dags for multi-level logic minimization - Karplus - 1989
20	Technology Mapping for TLU FPGA's Based on Decomposition of Binary Decision Diagrams - Chang, Marek-Sadowska, et al. - 1996
19	Functional Testing with Binary Decision Diagrams - Akers - 1978
19	Safe BDD minimization using don’t cares - Hong, Beerel, et al. - 1997
17	OBDD-Based Function Decomposition: Algorithms and Implementation - Lai, Pan, et al.
15	Multilevel logic synthesis for arithmetic functions - Tsai, Marek-Sadowska - 1996
14	Boolean Division and Factorization Using Binary Decision Diagrams - Stanion, Sechen - 1994
12	BDD decomposition for efficient logic synthesis - Yang, Ciesielski - 1999
10	Area-Oriented Synthesis for Pass-Transistor Logic - Chaudhry, Liu, et al. - 1998
5	Tutorial: Design of a logic synthesis system - Rudell - 1996
4	On Synthesizing Pass Transistor Logic - Buch, Narayan, et al. - 1997
3	Behavioral Synthesis of Combinational Logic Using Spectral Based Heuristics - Thornton, Nair - 1999
2	Some uses of truth tables - Singer - 1959