diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-05 21:54:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-05 21:54:27 -0700 |
| commit | 5a9fded57fee539eb2bf27204f96c1bc2b38de10 (patch) | |
| tree | a31d91508f70ad2679abaf9061e0be4681512f55 /src/base/abc | |
| parent | c1c6e90d3eae94f494a9b7163e79779fca670930 (diff) | |
| download | abc-5a9fded57fee539eb2bf27204f96c1bc2b38de10.tar.gz abc-5a9fded57fee539eb2bf27204f96c1bc2b38de10.tar.bz2 abc-5a9fded57fee539eb2bf27204f96c1bc2b38de10.zip | |
Several small changes.
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abcUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 8cac0a42..31c70b21 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -3150,7 +3150,7 @@ Vec_Wec_t * Abc_GiaSynthesize( Vec_Ptr_t * vGias ) Abc_Obj_t * pObj, * pFanin; int i, k, iNode = 0; Abc_FrameReplaceCurrentNetwork( Abc_FrameReadGlobalFrame(), pNtk ); - Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "dc2; map -a" ); + Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "compress2rs; dch; map -a; ps; strash; compress2rs; dch; map -a; ps; strash; compress2rs; dch; map -a; ps" ); pNtkNew = Abc_FrameReadNtk( Abc_FrameReadGlobalFrame() ); vRes = Vec_WecStart( Abc_NtkPiNum(pNtkNew) + Abc_NtkNodeNum(pNtkNew) + Abc_NtkPoNum(pNtkNew) ); Abc_NtkForEachPi( pNtkNew, pObj, i ) |