diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 11:49:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 11:49:25 -0700 |
| commit | 94b26fe5a21199ddbd5c564331e7ee2848c8d498 (patch) | |
| tree | 3c59199ce64e9fe8e840e322dd9ddf6b149248e1 /src/base/abci | |
| parent | b255c7693e0264974128de2b00e1a386fba0b239 (diff) | |
| download | abc-94b26fe5a21199ddbd5c564331e7ee2848c8d498.tar.gz abc-94b26fe5a21199ddbd5c564331e7ee2848c8d498.tar.bz2 abc-94b26fe5a21199ddbd5c564331e7ee2848c8d498.zip | |
Improving CEC (command 'dcec') by integrating XOR balancing.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 3279cf46..aeb146e2 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -19731,10 +19731,10 @@ int Abc_CommandDCec( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } - if ( Abc_NtkLatchNum(pNtk1) || Abc_NtkLatchNum(pNtk2) ) + if ( (pNtk1 && Abc_NtkLatchNum(pNtk1)) || (pNtk2 && Abc_NtkLatchNum(pNtk2)) ) { - if ( fDelete1 ) Abc_NtkDelete( pNtk1 ); - if ( fDelete2 ) Abc_NtkDelete( pNtk2 ); + if ( pNtk1 && fDelete1 ) Abc_NtkDelete( pNtk1 ); + if ( pNtk2 && fDelete2 ) Abc_NtkDelete( pNtk2 ); Abc_Print( -1, "Currently this command only works for networks without latches. Run \"comb\".\n" ); return 1; } |