diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:03:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:03:02 -0800 |
| commit | a4503d1c0b7e5f84c8a9145e4650615c29fe81df (patch) | |
| tree | b33dec53767067338a1dec98d0b046185e31c253 /src/opt/dau | |
| parent | cb165d8c15cd850986737b48d8d577cbc3159e85 (diff) | |
| download | abc-a4503d1c0b7e5f84c8a9145e4650615c29fe81df.tar.gz abc-a4503d1c0b7e5f84c8a9145e4650615c29fe81df.tar.bz2 abc-a4503d1c0b7e5f84c8a9145e4650615c29fe81df.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 41155a9d..b1651540 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -63,7 +63,7 @@ void Dau_TruthEnum() int * pPerm = Extra_PermSchedule( nVars ); int * pComp = Extra_GreyCodeSchedule( nVars ); word nFuncs = ((word)1 << (((word)1 << nVars)-1)); - word * pPres = ABC_CALLOC( word, 1 << ((1<<nVars)-6) ); + word * pPres = ABC_CALLOC( word, 1 << ((1<<nVars)-7) ); unsigned * pTable = fUseTable ? (unsigned *)ABC_CALLOC(word, nSizeW) : NULL; Vec_Int_t * vNpns = Vec_IntAlloc( 1000 ); word tMask = Abc_Tt6Mask( 1 << nVars ); @@ -77,14 +77,18 @@ void Dau_TruthEnum() if ( pTable == NULL ) printf( "Cannot alloc memory for table.\n" ); - for ( tCur = 0; tCur < nFuncs; tCur++ ) - if ( (tCur & 0x07FFFFFF) == 0 ) - printf( "%08x : %08x\n", (int)tCur, pTable[(int)tCur] ); +// for ( tCur = 0; tCur < nFuncs; tCur++ ) +// if ( (tCur & 0x07FFFFFF) == 0 ) +// printf( "%08x : %08x\n", (int)tCur, pTable[(int)tCur] ); for ( tCur = 0; tCur < nFuncs; tCur++ ) { - if ( (tCur & 0xFF) == 0 ) - printf( "Finished %08x\n", (int)tCur ), fflush(stdout); + if ( (tCur & 0xFFFF) == 0 ) + { + printf( "Finished %08x. ", (int)tCur ); + Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); + fflush(stdout); + } if ( Abc_TtGetBit(pPres, (int)tCur) ) continue; //Extra_PrintBinary( stdout, (unsigned *)&tCur, 16 ); printf( " %04x\n", (int)tCur ); @@ -167,7 +171,7 @@ void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns void Dau_NetworkEnum() { abctime clk = Abc_Clock(); - int Limit = 1; + int Limit = 2; #ifdef USE4VARS int nVars = 4; int nSizeW = 1 << 14; |