From ee789ba902b6f2c443717bdcb82506ecb6aed3b8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 10 Nov 2012 19:37:53 -0800 Subject: Improved DSD. --- src/map/if/if.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/map/if/if.h') 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 -- cgit v1.2.3