The part package

Partitioning Module

By Gianpiero Cabodi and Stefano Quer


This part package provides functions to partition BDDs. in a discjunctive or conjunctive form. "Internal" partitioning routines are provided (see Cabodi et. al ICCAD'96, and Cabodi et. al TCAD - to Appear). Moreover a link to Cudd partitioning routines is provided too.
The following method are actually provided: These methods are called with the command option:
none, manual, cofactor, estimate, complex, fast, free, comparison, cuddAppCon, cuddAppDis, cuddGenCon, cuddGenDis, cuddIteCon, cuddIteDis, cuddVarCon, cuddVarDis.
Notice that this module contains both a direct link both to the ddi and to the cudd package.
This structure should be revised.
Last updated on 990617 11h53