diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-06 17:16:16 +0300 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-06 17:16:16 +0300 |
commit | f97b8d2882bc69d37e6559a12b9e31a988a7eb97 (patch) | |
tree | 2673a43f17559b71c4d71562bb175fc82517175f /src/base | |
parent | 02972e53c21d99c98c3c7f818669fb006cb81b40 (diff) | |
download | abc-f97b8d2882bc69d37e6559a12b9e31a988a7eb97.tar.gz abc-f97b8d2882bc69d37e6559a12b9e31a988a7eb97.tar.bz2 abc-f97b8d2882bc69d37e6559a12b9e31a988a7eb97.zip |
Improvements to SAT based SOP computation.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abc/abcUtil.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index b930e6c5..a63abb9e 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -3235,7 +3235,7 @@ Gia_Man_t * Abc_NtkStrashToGia( Abc_Ntk_t * pNtk ) Gia_ManStop( pTemp ); return pNew; } -Gia_Man_t * Abc_SopSynthesizeOne( char * pSop ) +Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ) { Abc_Ntk_t * pNtkNew, * pNtk; Vec_Ptr_t * vSops; @@ -3253,6 +3253,8 @@ Gia_Man_t * Abc_SopSynthesizeOne( char * pSop ) pNtk = Abc_NtkCreateFromSops( "top", vSops ); Vec_PtrFree( vSops ); Abc_FrameReplaceCurrentNetwork( Abc_FrameReadGlobalFrame(), pNtk ); + if ( fClp ) + Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "clp; sop" ); Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "fx; strash; balance; dc2" ); pNtkNew = Abc_FrameReadNtk( Abc_FrameReadGlobalFrame() ); return Abc_NtkStrashToGia( pNtkNew ); |