diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-26 16:12:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-26 16:12:44 -0700 |
| commit | fb6eaaf5d9e26d7b0ac326fa17a8c7379b24df68 (patch) | |
| tree | 4fa94aa0db2667caf76bd9fb605b5aedcf0d4aa8 /src/opt/sfm/sfmNtk.c | |
| parent | ed3d3dfc8ea16ac226bbce6cabbb207ee89ce474 (diff) | |
| download | abc-fb6eaaf5d9e26d7b0ac326fa17a8c7379b24df68.tar.gz abc-fb6eaaf5d9e26d7b0ac326fa17a8c7379b24df68.tar.bz2 abc-fb6eaaf5d9e26d7b0ac326fa17a8c7379b24df68.zip | |
New MFS package.
Diffstat (limited to 'src/opt/sfm/sfmNtk.c')
| -rw-r--r-- | src/opt/sfm/sfmNtk.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/opt/sfm/sfmNtk.c b/src/opt/sfm/sfmNtk.c index 79b7bb6a..2042eaec 100644 --- a/src/opt/sfm/sfmNtk.c +++ b/src/opt/sfm/sfmNtk.c @@ -57,7 +57,7 @@ void Sfm_CheckConsistency( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * assert( Fanin < i && Fanin + nPos < Vec_WecSize(vFanins) ); // POs have one fanout if ( i + nPos >= Vec_WecSize(vFanins) ) - assert( Vec_IntSize(vArray) == 1 && Vec_StrEntry(vFixed, i) == (char)0 ); + assert( Vec_StrEntry(vFixed, i) == (char)0 ); } } @@ -248,7 +248,7 @@ void Sfm_NtkAddFanin( Sfm_Ntk_t * p, int iNode, int iFanin ) void Sfm_NtkDeleteObj_rec( Sfm_Ntk_t * p, int iNode ) { int i, iFanin; - if ( Sfm_ObjFanoutNum(p, iNode) > 0 || Sfm_ObjIsPi(p, iNode) ) + if ( Sfm_ObjFanoutNum(p, iNode) > 0 || Sfm_ObjIsPi(p, iNode) || Sfm_ObjIsFixed(p, iNode) ) return; assert( Sfm_ObjIsNode(p, iNode) ); Sfm_ObjForEachFanin( p, iNode, iFanin, i ) @@ -258,6 +258,7 @@ void Sfm_NtkDeleteObj_rec( Sfm_Ntk_t * p, int iNode ) Sfm_NtkDeleteObj_rec( p, iFanin ); } Vec_IntClear( Sfm_ObjFiArray(p, iNode) ); + Vec_WrdWriteEntry( p->vTruths, iNode, (word)0 ); } void Sfm_NtkUpdateLevel_rec( Sfm_Ntk_t * p, int iNode ) { @@ -327,10 +328,6 @@ int Sfm_NodeReadUsed( Sfm_Ntk_t * p, int i ) { return (Sfm_ObjFaninNum(p, i) > 0) || (Sfm_ObjFanoutNum(p, i) > 0); } -Vec_Int_t * Sfm_NodeReadCover( Sfm_Ntk_t * p ) -{ - return p->vCover; -} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |