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

Extending "lutexact" to get function from the current network.

This commit is contained in:
Alan Mishchenko 2026-02-01 19:47:14 -08:00
parent 5899aa5df1
commit 367b407fba
1 changed files with 25 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -10942,13 +10942,33 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv )
pPars->pTtStr = argv[globalUtilOptind]; pPars->pTtStr = argv[globalUtilOptind];
else if ( argc == globalUtilOptind && Abc_FrameReadNtk(pAbc) ) else if ( argc == globalUtilOptind && Abc_FrameReadNtk(pAbc) )
{ {
pPars->pTtStr = Abc_NtkReadTruth( Abc_FrameReadNtk(pAbc) ); Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
if ( Abc_NtkCiNum(pNtk) > 30 )
{
Abc_Print( -1, "Cannot derive truth table from network: too many inputs (%d > 30).\n", Abc_NtkCiNum(pNtk) );
Abc_Print( -1, "Please provide truth table on the command line or use a smaller network.\n" );
return 1;
}
if ( Abc_NtkCoNum(pNtk) != 1 )
{
Abc_Print( -1, "Cannot derive truth table from network: network must have exactly one output (has %d).\n", Abc_NtkCoNum(pNtk) );
return 1;
}
pPars->pTtStr = Abc_NtkReadTruth( pNtk );
if ( pPars->pTtStr ) if ( pPars->pTtStr )
pPars->nVars = Abc_NtkCiNum(Abc_FrameReadNtk(pAbc)); {
pPars->nVars = Abc_NtkCiNum(pNtk);
Abc_Print( 0, "Derived %d-input truth table from current network.\n", pPars->nVars );
}
else
{
Abc_Print( -1, "Failed to derive truth table from current network.\n" );
return 1;
}
} }
if ( pPars->pTtStr == NULL && pPars->pSymStr == NULL && pPars->nRandFuncs == 0 ) if ( pPars->pTtStr == NULL && pPars->pSymStr == NULL && pPars->nRandFuncs == 0 )
{ {
Abc_Print( -1, "Truth table should be given on the command line.\n" ); Abc_Print( -1, "Truth table should be given on the command line, or derived from current single-output network.\n" );
return 1; return 1;
} }
if ( pPars->nVars == 0 && pPars->pTtStr ) if ( pPars->nVars == 0 && pPars->pTtStr )