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

Adding procedure Abc_NtkSetAndGateDelay().

This commit is contained in:
Alan Mishchenko 2015-11-04 14:43:00 -08:00
parent ae96723ad6
commit df6c9415c1
2 changed files with 52 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aig/miniaig/abcapis.h
View File

@ -58,6 +58,9 @@ extern void Abc_NtkSetFlopNum( void * pAbc, int nFlops );
extern void Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall );
extern void Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall );
// procedure to set AND-gate delay to tech-independent synthesis and mapping
extern void Abc_NtkSetAndGateDelay( void * pAbc, float Delay );
// procedures to return the mapped network
extern int * Abc_NtkOutputMiniMapping( void * pAbc );
extern void Abc_NtkPrintMiniMapping( int * pArray );

51
src/base/abci/abcMap.c
View File

@ -918,7 +918,7 @@ void Abc_NtkTestMiniMapping( Abc_Ntk_t * p )
/**Function*************************************************************
Synopsis [These APIs set arriva/required times of CIs/COs.]
Synopsis [These APIs set arrival/required times of CIs/COs.]
Description []
@ -933,12 +933,21 @@ void Abc_NtkSetCiArrivalTime( void * pAbc0, int iCi, float Rise, float Fall )
Abc_Ntk_t * pNtk;
Abc_Obj_t * pNode;
if ( pAbc == NULL )
{
printf( "ABC framework is not initialized by calling Abc_Start()\n" );
return;
}
pNtk = Abc_FrameReadNtk( pAbc );
if ( pNtk == NULL )
{
printf( "Current network in ABC framework is not defined.\n" );
return;
}
if ( iCi < 0 || iCi >= Abc_NtkCiNum(pNtk) )
{
printf( "CI index is not valid.\n" );
return;
}
pNode = Abc_NtkCi( pNtk, iCi );
Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pNode), Rise, Fall );
}
@ -947,17 +956,55 @@ void Abc_NtkSetCoRequiredTime( void * pAbc0, int iCo, float Rise, float Fall )
Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
Abc_Ntk_t * pNtk;
Abc_Obj_t * pNode;
if ( pAbc == NULL )
if ( pAbc == NULL )\
{
printf( "ABC framework is not initialized by calling Abc_Start()\n" );
return;
}
pNtk = Abc_FrameReadNtk( pAbc );
if ( pNtk == NULL )
{
printf( "Current network in ABC framework is not defined.\n" );
return;
}
if ( iCo < 0 || iCo >= Abc_NtkCoNum(pNtk) )
{
printf( "CO index is not valid.\n" );
return;
}
pNode = Abc_NtkCo( pNtk, iCo );
Abc_NtkTimeSetRequired( pNtk, Abc_ObjId(pNode), Rise, Fall );
}
/**Function*************************************************************
Synopsis [This APIs set AND gate delay.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Abc_NtkSetAndGateDelay( void * pAbc0, float Delay )
{
Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
Abc_Ntk_t * pNtk;
if ( pAbc == NULL )
{
printf( "ABC framework is not initialized by calling Abc_Start()\n" );
return;
}
pNtk = Abc_FrameReadNtk( pAbc );
if ( pNtk == NULL )
{
printf( "Current network in ABC framework is not defined.\n" );
return;
}
pNtk->AndGateDelay = Delay;
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////