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

Assume minimum required times when not given by the user.

This commit is contained in:
Alan Mishchenko 2026-05-11 12:18:15 -07:00
parent d54cbda229
commit 60b3991a0e
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/aig/gia/giaIf.c
View File

@ -3010,9 +3010,19 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
if ( p->pManTime && pPars->pTimesReq == NULL )
{
Tim_Man_t * pManTime = (Tim_Man_t *)p->pManTime;
pPars->pTimesReq = ABC_CALLOC( float, Gia_ManCoNum(p) );
int fHasFiniteReq = 0;
for ( i = 0; i < Gia_ManCoNum(p); i++ )
pPars->pTimesReq[i] = Tim_ManGetCoRequired( pManTime, i );
if ( Tim_ManGetCoRequired( pManTime, i ) < TIM_ETERNITY )
{
fHasFiniteReq = 1;
break;
}
if ( fHasFiniteReq )
{
pPars->pTimesReq = ABC_CALLOC( float, Gia_ManCoNum(p) );
for ( i = 0; i < Gia_ManCoNum(p); i++ )
pPars->pTimesReq[i] = Tim_ManGetCoRequired( pManTime, i );
}
}
ABC_FREE( p->pCellStr );
Vec_IntFreeP( &p->vConfigs );