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

Fixes in DelayCost and BuildNode.

This commit is contained in:
Mathias Soeken 2016-08-01 08:37:14 +02:00
parent a7b244c5a9
commit 8246af894d
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1353,6 +1353,9 @@ int Abc_ExactDelayCost( word * pTruth, int nVars, int * pArrTimeProfile, char *
/* some checks */
assert( nVars >= 2 && nVars <= 8 );
if ( AigLevel < nMaxDepth )
nMaxDepth = AigLevel;
timeStart = Abc_Clock();
*Cost = ABC_INFINITY;
@ -1404,7 +1407,7 @@ Abc_Obj_t * Abc_ExactBuildNode( word * pTruth, int nVars, int * pArrTimeProfile,
char pGateTruth[5];
char * pSopCover;
Abc_Ntk_t * pNtk = NULL; /* need that to create node */
Abc_Ntk_t * pNtk = Abc_ObjNtk( pFanins[0] );
pSol = Ses_StoreGetEntry( s_pSesStore, pTruth, nVars, pArrTimeProfile );
if ( !pSol )