diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-01 12:13:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-01 12:13:27 -0700 |
| commit | 4cf906d2fc64f5f27fd1f01580b89a60c4ee7e61 (patch) | |
| tree | 2ec8d9238dd18920a28cb789eab5599f267de689 /src/base/abci | |
| parent | e162a26197b194e6b9adfcf455edb4312285c644 (diff) | |
| download | abc-4cf906d2fc64f5f27fd1f01580b89a60c4ee7e61.tar.gz abc-4cf906d2fc64f5f27fd1f01580b89a60c4ee7e61.tar.bz2 abc-4cf906d2fc64f5f27fd1f01580b89a60c4ee7e61.zip | |
Experiments with LUT mapping for small functions.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 06a7c877..8fd38473 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -41461,6 +41461,7 @@ usage: int Abc_CommandAbc9LNetOpt( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern Gia_Man_t * Gia_ManPerformLNetOpt( Gia_Man_t * p, int fTryNew, char * pFileName, int nIns, int nOuts, int Thresh, int nRounds, int fVerbose ); + extern Gia_Man_t * Gia_ManPerformLNetOptNew( Gia_Man_t * p, char * pFileName, int nIns, int nOuts, int Thresh, int nRounds, int fVerbose ); Gia_Man_t * pTemp; char * pFileName = NULL; int c, fTryNew = 1, nIns = 6, nOuts = 2, Limit = 0, nRounds = 100, fVerbose = 0; @@ -41536,7 +41537,7 @@ int Abc_CommandAbc9LNetOpt( Abc_Frame_t * pAbc, int argc, char ** argv ) fclose( pFile ); pFileName = argv[globalUtilOptind]; } - pTemp = Gia_ManPerformLNetOpt( pAbc->pGia, fTryNew, pFileName, nIns, nOuts, Limit, nRounds, fVerbose ); + pTemp = Gia_ManPerformLNetOptNew( pAbc->pGia, pFileName, nIns, nOuts, Limit, nRounds, fVerbose ); Abc_FrameUpdateGia( pAbc, pTemp ); return 0; |