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

Adding commands 'save' and 'load' for mapped networks.

This commit is contained in:
Alan Mishchenko 2020-01-03 22:00:58 -05:00
parent f6dc4a588c
commit e1997b038a
2 changed files with 152 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

145
src/base/abci/abc.c
View File

@ -371,6 +371,9 @@ static int Abc_CommandIso ( Abc_Frame_t * pAbc, int argc, cha
static int Abc_CommandTraceStart ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandTraceCheck ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandAbcSave ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandAbcLoad ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandAbc9Get ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandAbc9Put ( Abc_Frame_t * pAbc, int argc, char ** argv );
static int Abc_CommandAbc9Save ( Abc_Frame_t * pAbc, int argc, char ** argv );
@ -1073,6 +1076,9 @@ void Abc_Init( Abc_Frame_t * pAbc )
Cmd_CommandAdd( pAbc, "Verification", "blockpo", Abc_CommandBlockPo, 1 );
Cmd_CommandAdd( pAbc, "Verification", "iso", Abc_CommandIso, 1 );
Cmd_CommandAdd( pAbc, "Various", "save", Abc_CommandAbcSave, 0 );
Cmd_CommandAdd( pAbc, "Various", "load", Abc_CommandAbcLoad, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&get", Abc_CommandAbc9Get, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&put", Abc_CommandAbc9Put, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&save", Abc_CommandAbc9Save, 0 );
@ -29478,6 +29484,145 @@ usage:
}
/**Function*************************************************************
Synopsis [Compares to versions of the design and finds the best.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline int Abc_NtkCompareWithBest( Abc_Ntk_t * pBest, Abc_Ntk_t * p,
float * pnBestNtkArea, float * pnBestNtkDelay,
int * pnBestNtkNodes, int * pnBestNtkLevels, int fArea )
{
float nNtkArea = (float)Abc_NtkGetMappedArea(p);
float nNtkDelay = (float)Abc_NtkDelayTrace(p, NULL, NULL, 0);
int nNtkNodes = Abc_NtkNodeNum(p);
int nNtkLevels = Abc_NtkLevel(p);
if ( pBest == NULL ||
Abc_NtkPiNum(pBest) != Abc_NtkPiNum(p) ||
Abc_NtkPoNum(pBest) != Abc_NtkPoNum(p) ||
Abc_NtkLatchNum(pBest) != Abc_NtkLatchNum(p) ||
strcmp(Abc_NtkName(pBest), Abc_NtkName(p)) ||
(!fArea && (*pnBestNtkLevels > nNtkLevels || (*pnBestNtkLevels == nNtkLevels && *pnBestNtkDelay > nNtkDelay ))) ||
( fArea && (*pnBestNtkNodes > nNtkNodes || (*pnBestNtkNodes == nNtkNodes && *pnBestNtkArea > nNtkArea )))
)
{
*pnBestNtkArea = nNtkArea;
*pnBestNtkDelay = nNtkDelay;
*pnBestNtkNodes = nNtkNodes;
*pnBestNtkLevels = nNtkLevels;
printf( "\nUpdating the best network (Area = %10.2f Delay = %10.2f Nodes = %6d Level = %6d).\n\n",
nNtkArea, nNtkDelay, nNtkNodes, nNtkLevels );
return 1;
}
return 0;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Abc_CommandAbcSave( Abc_Frame_t * pAbc, int argc, char ** argv )
{
int c, fArea = 0;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "ah" ) ) != EOF )
{
switch ( c )
{
case 'a':
fArea ^= 1;
break;
case 'h':
goto usage;
default:
goto usage;
}
}
if ( pAbc->pNtkCur == NULL )
{
Abc_Print( -1, "Empty network.\n" );
return 1;
}
if ( !Abc_NtkHasMapping(pAbc->pNtkCur) )
{
Abc_Print( -1, "Network has no mapping.\n" );
return 1;
}
if ( !Abc_NtkCompareWithBest( pAbc->pNtkBest, pAbc->pNtkCur,
&pAbc->nBestNtkArea, &pAbc->nBestNtkDelay,
&pAbc->nBestNtkNodes, &pAbc->nBestNtkLevels, fArea ) )
return 0;
// save the design as best
if ( pAbc->pNtkBest ) Abc_NtkDelete( pAbc->pNtkBest );
pAbc->pNtkBest = Abc_NtkDup(pAbc->pNtkCur);
return 0;
usage:
Abc_Print( -2, "usage: save [-ah]\n" );
Abc_Print( -2, "\t compares and possibly saves network with mapping\n" );
Abc_Print( -2, "\t-a : toggle using area as the primary metric [default = %s]\n", fArea? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Abc_CommandAbcLoad( Abc_Frame_t * pAbc, int argc, char ** argv )
{
int c;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF )
{
switch ( c )
{
case 'h':
goto usage;
default:
goto usage;
}
}
// restore from best
if ( pAbc->pNtkBest == NULL )
{
Abc_Print( -1, "Abc_CommandAbcLoad(): There is no best design saved.\n" );
return 1;
}
if ( pAbc->pNtkCur ) Abc_NtkDelete( pAbc->pNtkCur );
pAbc->pNtkCur = Abc_NtkDup(pAbc->pNtkBest);
return 0;
usage:
Abc_Print( -2, "usage: load [-h]\n" );
Abc_Print( -2, "\t loads mapped network previously saved by \"save\"\n" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;
}
/**Function*************************************************************
Synopsis []

7
src/base/main/mainInt.h
View File

@ -76,6 +76,13 @@ struct Abc_Frame_t_
int fAutoexac; // marks the autoexec mode
int fBatchMode; // batch mode flag
int fBridgeMode; // bridge mode flag
// save/load
Abc_Ntk_t * pNtkBest; // the current network
float nBestNtkArea; // best area
float nBestNtkDelay; // best delay
int nBestNtkNodes; // best nodes
int nBestNtkLevels; // best levels
// output streams
FILE * Out;
FILE * Err;