diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-21 15:09:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-21 15:09:11 +0700 |
| commit | 166fba35092bb78818320a93bcb47f0d0af8d84b (patch) | |
| tree | 5623175c5d3f57031bc3f3e7440c4b6965a84551 | |
| parent | d79cd4db44c869e62a1d0022c5c44eaaab6c39b3 (diff) | |
| download | abc-166fba35092bb78818320a93bcb47f0d0af8d84b.tar.gz abc-166fba35092bb78818320a93bcb47f0d0af8d84b.tar.bz2 abc-166fba35092bb78818320a93bcb47f0d0af8d84b.zip | |
Experiments with SPFD-based decomposition.
| -rw-r--r-- | src/aig/bdc/bdcSpfd.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index 7e2a423f..b9e477b0 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -578,8 +578,12 @@ Vec_Wrd_t * Bdc_SpfdDecomposeTest__( Vec_Int_t ** pvWeights ) // int nSize = 2777111; // the hash table size to use // int Limit = 6; - int nFuncs = 51000000; // the number of functions to compute - int nSize = 50331653; // the hash table size to use +// int nFuncs = 51000000; // the number of functions to compute +// int nSize = 50331653; // the hash table size to use +// int Limit = 6; + + int nFuncs = 250000000; // the number of functions to compute + int nSize = 201326611; // the hash table size to use int Limit = 6; int * pPlace, i, n, m, k, s, fCompl, clk = clock(), clk2; |