diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-23 09:45:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-23 09:45:23 -0700 |
| commit | bef247a4cbb191c22630a20daf67a43ef717bac0 (patch) | |
| tree | dfb04daecd301a66b45b7e7c86d30d1b63e861b2 /src/base/abci/abc.c | |
| parent | 4124a00d4ba7b9d32b19d7164321eb8d245d07df (diff) | |
| download | abc-bef247a4cbb191c22630a20daf67a43ef717bac0.tar.gz abc-bef247a4cbb191c22630a20daf67a43ef717bac0.tar.bz2 abc-bef247a4cbb191c22630a20daf67a43ef717bac0.zip | |
Logic restructuring after mapping.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 98870a20..bc06fbb9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -5863,6 +5863,7 @@ int Abc_CommandLogicPush( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "This command can only be applied to a logic network.\n" ); return 1; } + nLutSize = Abc_MaxInt( nLutSize, Abc_NtkGetFaninMax(pNtk) ); Abc_NtkToSop( pNtk, -1, ABC_INFINITY ); pNtkRes = Abc_NtkOptPush( pNtk, nLutSize, fVerbose ); Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); |