TY - JFULL AU - P. W. C. Prasad and A. Assi and M. Raseen and A. Harb PY - 2007/4/ TI - Selective Minterms Based Tabular Method for BDD Manipulations T2 - International Journal of Computer and Information Engineering SP - 809 EP - 813 VL - 1 SN - 1307-6892 UR - https://publications.waset.org/pdf/1513 PU - World Academy of Science, Engineering and Technology NX - Open Science Index 3, 2007 N2 - The goal of this work is to describe a new algorithm for finding the optimal variable order, number of nodes for any order and other ROBDD parameters, based on a tabular method. The tabular method makes use of a pre-built backend database table that stores the ROBDD size for selected combinations of min-terms. The user uses the backend table and the proposed algorithm to find the necessary ROBDD parameters, such as best variable order, number of nodes etc. Experimental results on benchmarks are given for this technique. ER -