Decomposition Techniques for Efficient ROBDD Construction

Abstract

Abs t r ac t . In this paper, we address the problem of memory-efficient construction of ROBDDs for a given Boolean network. We show that for a large number of applications, it is more efficient to construct the ROBDD by a suitable combination of top-down and bottom-up approaches than a purely bottom-up approach. We first build a decomposed ROBDD of the… (More)
DOI: 10.1007/BFb0031825

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Jain1996DecompositionTF, title={Decomposition Techniques for Efficient ROBDD Construction}, author={Jawahar Jain and Amit Narayan and C. Coelho and Sunil P. Khatri and Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton and Masahiro Fujita}, booktitle={FMCAD}, year={1996} }