The Community for Technology Leaders
RSS Icon
Subscribe
Bandung, Bali, Indonesia
May 25, 2009 to May 29, 2009
ISBN: 978-0-7695-3648-4
pp: 142-145
ABSTRACT
Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing and VLSI-CAD. The size of an ROBDD for a function can be increased exponentially by the number of independent variables of the function that is called “memory explosion problem”. The choice of the variable ordering largely influences the size of the OBDD especially for large input variables. Finding the optimal variable ordering is an NP-complete problem, hence, in this paper, two evolutionary methods (GA and PSO) are used to find optimal order of input variable in binary decision diagram. Some benchmarks form LGSynth91 are used to evaluate our suggestion methods. Obtained results show that evolutionary methods have the ability to find optimal order of input variable and reduce the size of ROBDD considerably.
INDEX TERMS
Genetic Algorithm, Particle Swarm Optimization, Reduce Order Binary Decision Diagram
CITATION
Hossein Moeinzadeh, Mehdi Mohammadi, Hossein Pazhoumand-dar, Arman Mehrbakhsh, Navid Kheibar, Nasser Mozayani, "Evolutionary-Reduced Ordered Binary Decision Diagram", AMS, 2009, Asia International Conference on Modelling & Simulation, Asia International Conference on Modelling & Simulation 2009, pp. 142-145, doi:10.1109/AMS.2009.130
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool