From ff56eed4b34679060abd52db3dd7d76302308382 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 21 Jul 2025 07:56:30 -0700 Subject: [PATCH] Allowing "lutexact" to take truth table from the current network. --- src/base/abci/abc.c | 23 ++++++++++++++++------- src/base/abci/abcCas.c | 18 +++++++++++++++++- 2 files changed, 33 insertions(+), 8 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c68bcc870..7407af9c7 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10617,11 +10617,12 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv ) extern int Exa3_ManExactSynthesis( Bmc_EsPar_t * pPars ); extern void Exa3_ManExactSynthesis2( Bmc_EsPar_t * pPars ); extern void Exa3_ManExactSynthesisRand( Bmc_EsPar_t * pPars ); + extern char * Abc_NtkReadTruth( Abc_Ntk_t * pNtk ); int c; Bmc_EsPar_t Pars, * pPars = &Pars; Bmc_EsParSetDefault( pPars ); Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "INKTFMSYiaocfgvh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "INKTFUSYiaorfgvh" ) ) != EOF ) { switch ( c ) { @@ -10678,10 +10679,10 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->nRandFuncs = atoi(argv[globalUtilOptind]); globalUtilOptind++; break; - case 'M': + case 'U': if ( globalUtilOptind >= argc ) { - Abc_Print( -1, "Command line switch \"-M\" should be followed by an integer.\n" ); + Abc_Print( -1, "Command line switch \"-U\" should be followed by an integer.\n" ); goto usage; } pPars->nMintNum = atoi(argv[globalUtilOptind]); @@ -10716,7 +10717,7 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv ) case 'o': pPars->fFewerVars ^= 1; break; - case 'c': + case 'r': pPars->fLutCascade ^= 1; break; case 'f': @@ -10736,6 +10737,12 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv ) } if ( argc == globalUtilOptind + 1 ) pPars->pTtStr = argv[globalUtilOptind]; + else if ( argc == globalUtilOptind && Abc_FrameReadNtk(pAbc) ) + { + pPars->pTtStr = Abc_NtkReadTruth( Abc_FrameReadNtk(pAbc) ); + if ( pPars->pTtStr ) + pPars->nVars = Abc_NtkCiNum(Abc_FrameReadNtk(pAbc)); + } if ( pPars->pTtStr == NULL && pPars->pSymStr == NULL && pPars->nRandFuncs == 0 ) { Abc_Print( -1, "Truth table should be given on the command line.\n" ); @@ -10774,23 +10781,25 @@ int Abc_CommandLutExact( Abc_Frame_t * pAbc, int argc, char ** argv ) Exa3_ManExactSynthesis( pPars ); else Exa3_ManExactSynthesis2( pPars ); + if ( argc == globalUtilOptind && Abc_FrameReadNtk(pAbc) ) + ABC_FREE( pPars->pTtStr ); return 0; usage: - Abc_Print( -2, "usage: lutexact [-INKTFMS ] [-Y string] [-iaocfgvh] \n" ); + Abc_Print( -2, "usage: lutexact [-INKTFUS ] [-Y string] [-iaorfgvh] \n" ); Abc_Print( -2, "\t exact synthesis of I-input function using N K-input gates\n" ); Abc_Print( -2, "\t-I : the number of input variables [default = %d]\n", pPars->nVars ); Abc_Print( -2, "\t-N : the number of K-input nodes [default = %d]\n", pPars->nNodes ); Abc_Print( -2, "\t-K : the number of node fanins [default = %d]\n", pPars->nLutSize ); Abc_Print( -2, "\t-T : the runtime limit in seconds [default = %d]\n", pPars->RuntimeLim ); Abc_Print( -2, "\t-F : the number of random functions to try [default = unused]\n" ); - Abc_Print( -2, "\t-M : the number of positive minterms in the random function [default = unused]\n" ); + Abc_Print( -2, "\t-U : the number of positive minterms in the random function [default = unused]\n" ); Abc_Print( -2, "\t-S : the random seed for random function generation with -F [default = %d]\n", pPars->Seed ); Abc_Print( -2, "\t-Y : charasteristic string of a symmetric function [default = %d]\n", pPars->pSymStr ); Abc_Print( -2, "\t-i : toggle using incremental solving [default = %s]\n", pPars->fUseIncr ? "yes" : "no" ); Abc_Print( -2, "\t-a : toggle using only AND-gates when K = 2 [default = %s]\n", pPars->fOnlyAnd ? "yes" : "no" ); Abc_Print( -2, "\t-o : toggle using additional optimizations [default = %s]\n", pPars->fFewerVars ? "yes" : "no" ); - Abc_Print( -2, "\t-c : toggle synthesizing a single-rail cascade [default = %s]\n", pPars->fLutCascade ? "yes" : "no" ); + Abc_Print( -2, "\t-r : toggle synthesizing a single-rail cascade [default = %s]\n", pPars->fLutCascade ? "yes" : "no" ); Abc_Print( -2, "\t-f : toggle fixing LUT inputs in cascade mapping [default = %s]\n", pPars->fLutInFixed ? "yes" : "no" ); Abc_Print( -2, "\t-g : toggle using Glucose 3.0 by Gilles Audemard and Laurent Simon [default = %s]\n", pPars->fGlucose ? "yes" : "no" ); Abc_Print( -2, "\t-v : toggle verbose printout [default = %s]\n", pPars->fVerbose ? "yes" : "no" ); diff --git a/src/base/abci/abcCas.c b/src/base/abci/abcCas.c index 07b738423..f1c401740 100644 --- a/src/base/abci/abcCas.c +++ b/src/base/abci/abcCas.c @@ -962,7 +962,23 @@ Abc_Ntk_t * Abc_NtkLutCascadeGen( int nLutSize, int nStages, int nRails, int nSh ABC_FREE( pLuts ); return pNew; } - +char * Abc_NtkReadTruth( Abc_Ntk_t * pNtk ) +{ + if ( Abc_NtkCiNum(pNtk) > 30 ) + return NULL; + extern Gia_Man_t * Abc_NtkStrashToGia( Abc_Ntk_t * pNtk ); + Gia_Man_t * pGia = Abc_NtkStrashToGia( pNtk ); + word * pTruth1 = Gia_ObjComputeTruthTable( pGia, Gia_ManCo(pGia, 0) ); + int nWords = Abc_TtWordNum(Abc_NtkCiNum(pNtk)); + word * pCopy = ABC_ALLOC( word, nWords ); + Abc_TtCopy( pCopy, pTruth1, nWords, 0 ); + Gia_ManStop( pGia ); + int nVars = Abc_NtkCiNum(pNtk); + char * pTtStr = ABC_CALLOC( char, nVars > 2 ? (1 << (nVars-2)) + 1 : 2 ); + Extra_PrintHexadecimalString( pTtStr, (unsigned *)pCopy, nVars ); + ABC_FREE( pCopy ); + return pTtStr; +} /**Function*************************************************************