luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix exact command for multiple-output functions.

This commit is contained in:
Mathias Soeken 2017-03-06 16:32:07 +01:00
parent d971505402
commit 1cd5f76800
1 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/base/abci/abcExact.c
View File

@ -1921,7 +1921,7 @@ static inline void Ses_ManPrintFuncs( Ses_Man_t * pSes )
for ( h = 0; h < pSes->nSpecFunc; ++h )
{
printf( " func %d: ", h + 1 );
Abc_TtPrintHexRev( stdout, &pSes->pSpec[h >> 2], pSes->nSpecVars );
Abc_TtPrintHexRev( stdout, &pSes->pSpec[h << 2], pSes->nSpecVars );
printf( "\n" );
}
@ -2357,6 +2357,29 @@ static char * Ses_ManFindMinimumSizeTopDown( Ses_Man_t * pSes, int nMinGates )
static char * Ses_ManFindMinimumSize( Ses_Man_t * pSes )
{
char * pSol = NULL;
int i = pSes->nStartGates + 1, fRes;
/* if more than one function, no CEGAR */
if ( pSes->nSpecFunc > 1 )
{
while ( true )
{
if ( pSes->fVerbose )
{
printf( "try with %d gates\n", i );
}
memset( pSes->pTtValues, ~0, 4 * sizeof( word ) );
fRes = Ses_ManFindNetworkExact( pSes, i++ );
if ( fRes == 2 ) continue;
if ( fRes == 0 ) break;
pSol = Ses_ManExtractSolution( pSes );
break;
}
return pSol;
}
/* do the arrival times allow for a network? */
if ( pSes->nMaxDepth != -1 && pSes->pArrTimeProfile )