Sciweavers

Share
ASIAMS
2009
IEEE

Evolutionary-Reduced Ordered Binary Decision Diagram

9 years 6 months ago
Evolutionary-Reduced Ordered Binary Decision Diagram
—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. Keywords-Genetic Algorithm; Particle Swarm Optimization, Reduce Order Binary Decsion Diagram
Hossein Moeinzadeh, Mehdi Mohammadi, Hossein Pazho
Added 09 Jul 2010
Updated 09 Jul 2010
Type Conference
Year 2009
Where ASIAMS
Authors Hossein Moeinzadeh, Mehdi Mohammadi, Hossein Pazhoumand-dar, Arman Mehrbakhsh, Navid Kheibar, Nasser Mozayani
Comments (0)
books