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:
- PdTrav Methods
- Part_MethodManual_c, partitioning variable choose manually
- Part_MethodCofactor_c, use standard cofactor to evaluate the
best splitting variable
- Part_MethodEstimate_c, use original ICCAD'96 method to estimate
the codactors of a function
- Part_MethodEstimateComplex_c, modification to the previous one
(Somenzi, Private Communication, 1996)
- Part_MethodEstimateFast_c, fast "linear" heuristic TCAD'99
- Part_MethodEstimateFreeOrder_c, heuristic to move from BDD
to FBDD (TCAD'99)
- Part_MethodComparison_c, comparison routine (debugging purpose
mainly).
To notice that up to now (June 01, 1999) not all the funcions
are tested, as they have been taken, sometimes too verbatim, from
old code versions.
- Cudd Based Methods
- Part_MethodAppCon_c, routine Cudd_bddApproxConjDecomp
- Part_MethodAppDis_c, routine Cudd_bddApproxDisjDecomp
- Part_MethodGenCon_c, routine Cudd_bddGenConjDecomp
- Part_MethodGenDis_c, routine Cudd_bddGenDisjDecomp
- Part_MethodIteCon_c, routine Cudd_bddIterConjDecomp
- Part_MethodIteDis_c, routine Cudd_bddIterDisjDecomp
- Part_MethodVarCon_c, routine Cudd_bddVarConjDecomp
- Part_MethodVarDis_c, routine Cudd_bddVarDisjDecomp
see Cudd for further details.
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