diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-15 15:22:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-15 15:22:05 -0700 |
| commit | f8f37d261bfb513a804078bba396f7b040024ff7 (patch) | |
| tree | d76d9d2ca3df6d81f30b75bdf4483520de7897b5 /src/map/mpm/mpmInt.h | |
| parent | a06234e87a32b9a33c1b95abb95aa4601f2b7920 (diff) | |
| download | abc-f8f37d261bfb513a804078bba396f7b040024ff7.tar.gz abc-f8f37d261bfb513a804078bba396f7b040024ff7.tar.bz2 abc-f8f37d261bfb513a804078bba396f7b040024ff7.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmInt.h')
| -rw-r--r-- | src/map/mpm/mpmInt.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/map/mpm/mpmInt.h b/src/map/mpm/mpmInt.h index 32854b72..9ee4603a 100644 --- a/src/map/mpm/mpmInt.h +++ b/src/map/mpm/mpmInt.h @@ -46,7 +46,7 @@ ABC_NAMESPACE_HEADER_START /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// -#define MPM_CUT_MAX 64 +#define MPM_CUT_MAX 32 #define MPM_UNIT_TIME 1 #define MPM_UNIT_AREA 20 @@ -77,7 +77,7 @@ struct Mpm_Uni_t_ word uSign; // cut signature int Cost; // user cost Mpm_Cut_t pCut; // new cut - int Data[MPM_VAR_MAX]; // padding + int Data[MPM_VAR_MAX-1]; // padding }; typedef struct Mpm_Dsd_t_ Mpm_Dsd_t; @@ -127,10 +127,10 @@ struct Mpm_Man_t_ Vec_Mem_t * vTtMem; // truth table memory and hash table int funcCst0; // constant 0 int funcVar0; // variable 0 - word Truth0[1024]; - word Truth1[1024]; - word TruthC[1024]; - word Truth[1024]; + word Truth0[(1 << ((MPM_VAR_MAX)-6))]; + word Truth1[(1 << ((MPM_VAR_MAX)-6))]; + word TruthC[(1 << ((MPM_VAR_MAX)-6))]; + word Truth[(1 << ((MPM_VAR_MAX)-6))]; // DSD Mpm_Dsd_t * pDsd6; // NPN class information Hsh_IntMan_t * pHash; // maps DSD functions into NPN classes |