Geek asks and answers

Cudd Package: Binary Decoding Charts

Is it possible to point out some good stuff on the Cudd package. I am looking for a few brief questions here. The one at http://vlsi.colorado.edu/~fabio/CUDD/ does not seem to give a good idea about this. Any video lectures regarding BDD and its applications are welcome.

Thank you and welcome

+3
source share
2 answers

See Knuth Computer Musings for video lectures covering the basics, as well as a wide variety of applications:

+3
source

[1] , [2] , , [3] CUDD, [4] , - , [5] ( Somenzi - CUDD), [6] - , , .

[1] . " " IEEE- C-35, No.8, August, 1986, pp.677-690.

[2] . , . , . " BDD" 27- ACM/IEEE, 1990 . pp.40--45

[3] " " IEEE/ACM , 1993 pp.42--47

[4] - " " MIT Press, 2008 6.7, .381--421

[5] " " , Vol.173 F: pp.303--366, IOS Press, 1999

[6] . " " " ", 1999 -

+2

More articles:


All Articles