diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-10 19:37:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-10 19:37:53 -0800 |
| commit | ee789ba902b6f2c443717bdcb82506ecb6aed3b8 (patch) | |
| tree | ee23f68dabc0316da2ea1e373e693ecea7c869c3 /src/map/if/if.h | |
| parent | e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd (diff) | |
| download | abc-ee789ba902b6f2c443717bdcb82506ecb6aed3b8.tar.gz abc-ee789ba902b6f2c443717bdcb82506ecb6aed3b8.tar.bz2 abc-ee789ba902b6f2c443717bdcb82506ecb6aed3b8.zip | |
Improved DSD.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 04ff59e4..6a2fdd5d 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -34,7 +34,7 @@ #include "misc/vec/vec.h" #include "misc/mem/mem.h" #include "misc/tim/tim.h" - +#include "misc/util/utilNam.h" ABC_NAMESPACE_HEADER_START @@ -116,6 +116,7 @@ struct If_Par_t_ int fEnableCheck08;// enable additional checking int fEnableCheck10;// enable additional checking int fEnableRealPos;// enable additional feature + int fUseDsd; // compute DSD of the cut functions int fVerbose; // the verbosity flag char * pLutStruct; // LUT structure float WireDelay; // wire delay @@ -215,6 +216,9 @@ struct If_Man_t_ int nCutsCount[32]; int nCutsCountAll; int nCutsUselessAll; + Abc_Nam_t * pNamDsd; + int iNamVar; + // timing manager Tim_Man_t * pManTim; Vec_Int_t * vCoAttrs; // CO attributes 0=optimize; 1=keep; 2=relax @@ -235,6 +239,7 @@ struct If_Cut_t_ float Edge; // the edge flow float Power; // the power flow float Delay; // delay of the cut + int iDsd; // DSD ID of the cut unsigned uSign; // cut signature unsigned Cost : 13; // the user's cost of the cut (related to IF_COST_MAX) unsigned fCompl : 1; // the complemented attribute |