In-Depth Tutorial on CUDD Package
My observation is that many beginner-level and intermediate-level users
of CUDD have problems programming with the package because they lack clear
understanding of how reference counting works, how to design application-specific
caches (both lossy and lossless), and how to implement low-level traversal
procedures by directly handling the data-members of the DD manager. These
subjects will be treated in depth with source-code examples in my forthcoming
tutorial. Currently, the tutorial is being contemplated. If you would like
to contibute to my enthusiasm, which may eventually lead me to writing
it and sending you an evaluation version as soon as it is available, please
send me an email.
Alan Mishchenko's Home Page
This page has been last modified on September 30, 2001.