Binary Decision Diagram
-
Does anyone know where to find an implementation in C of the BDD? Or an algorithm not so criptical. Or maybe someone has something like that.
-
Does anyone know where to find an implementation in C of the BDD? Or an algorithm not so criptical. Or maybe someone has something like that.
Take a look at Fabio Somenzi's website http://vlsi.colorado.edu/~fabio/CUDD/. His Cudd Package is quite famous in the VLSI research cycles. I have used it for about 5 years now. There is no simple algorithm when it comes to BDDs. People spend years of research on BDD algorithms. I worked with BDDs for five years and unless you are involved strictly with BDDs it is nearly impossible to implement your own algorithms. Just take a look at the source code of Somenzi's package and you will understand. Time is the fire in which we burn.
-
Take a look at Fabio Somenzi's website http://vlsi.colorado.edu/~fabio/CUDD/. His Cudd Package is quite famous in the VLSI research cycles. I have used it for about 5 years now. There is no simple algorithm when it comes to BDDs. People spend years of research on BDD algorithms. I worked with BDDs for five years and unless you are involved strictly with BDDs it is nearly impossible to implement your own algorithms. Just take a look at the source code of Somenzi's package and you will understand. Time is the fire in which we burn.
I know about CUDD. As for understanding enough about BDD to make your own algorithm...it's been almost six months since I've started to learn about BDD and still I'm not able to do it. I guess I'll just try to reduce my expresions by "hand". Thanks.