lpk.h

Go to the documentation of this file.

 
#ifndef ABC__opt__lpk__lpk_h
#define ABC__opt__lpk__lpk_h
 


 
 
 
ABC_NAMESPACE_HEADER_START
 

 
typedef struct Lpk_Par_t_ Lpk_Par_t;
struct Lpk_Par_t_
{
    // user-controlled parameters
    int               nLutsMax;      // (N) the maximum number of LUTs in the structure
    int               nLutsOver;     // (Q) the maximum number of LUTs not in the MFFC
    int               nVarsShared;   // (S) the maximum number of shared variables (crossbars)
    int               nGrowthLevel;  // (L) the maximum increase in the node level after resynthesis
    int               fSatur;        // iterate till saturation
    int               fZeroCost;     // accept zero-cost replacements
    int               fFirst;        // use root node and first cut only
    int               fOldAlgo;      // use old algorithm
    int               fVerbose;      // the verbosiness flag
    int               fVeryVerbose;  // additional verbose info printout
    // internal parameters
    int               nLutSize;      // (K) the LUT size (determined by the input network)
    int               nVarsMax;      // (V) the largest number of variables: V = N * (K-1) + 1
};



 
/*=== lpkCore.c ========================================================*/
extern int     Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars );
 
 
 
 
ABC_NAMESPACE_HEADER_END
 
 
 
#endif