Commit e30dae5a by Alan Mishchenko

Preprocessing for multi-output PLA tables.

parent 13cd3a6a
...@@ -300,7 +300,7 @@ void Io_ReadPlaCubePreprocess( Vec_Str_t * vSop, int iCover, int fVerbose ) ...@@ -300,7 +300,7 @@ void Io_ReadPlaCubePreprocess( Vec_Str_t * vSop, int iCover, int fVerbose )
if ( fVerbose ) if ( fVerbose )
printf( " C%d =%5d", Iter, nCubes ); printf( " C%d =%5d", Iter, nCubes );
// try consensus // try consensus
Count = Io_ReadPlaSelfSubsumption( pCs, nCubes, nWords, vMarks ); //Count = Io_ReadPlaSelfSubsumption( pCs, nCubes, nWords, vMarks );
if ( fVerbose ) if ( fVerbose )
printf( "%4d", Count ); printf( "%4d", Count );
} while ( Count ); } while ( Count );
...@@ -553,8 +553,6 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_FileReader_t * p, int fZeros ) ...@@ -553,8 +553,6 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_FileReader_t * p, int fZeros )
} }
Vec_StrPush( ppSops[i], 0 ); Vec_StrPush( ppSops[i], 0 );
Io_ReadPlaCubePreprocess( ppSops[i], i, 0 ); Io_ReadPlaCubePreprocess( ppSops[i], i, 0 );
//Io_ReadPlaCubePreprocess( ppSops[i], i, 1 );
//printf( "\n" );
pNode->pData = Abc_SopRegister( (Mem_Flex_t *)pNtk->pManFunc, ppSops[i]->pArray ); pNode->pData = Abc_SopRegister( (Mem_Flex_t *)pNtk->pManFunc, ppSops[i]->pArray );
Vec_StrFree( ppSops[i] ); Vec_StrFree( ppSops[i] );
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment