luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Rare bug fix in 'dch' resulting in choice nodes having internal fanout.

This commit is contained in:
Alan Mishchenko 2016-01-31 16:38:49 -08:00
parent 367b20f04d
commit 81dade194e
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/proof/dch/dchChoice.c
View File

@ -456,7 +456,14 @@ void Dch_DeriveChoiceAigNode( Aig_Man_t * pAigNew, Aig_Man_t * pAigOld, Aig_Obj_
pObjNew = Aig_And( pAigNew,
Aig_ObjChild0CopyRepr(pAigNew, pObj),
Aig_ObjChild1CopyRepr(pAigNew, pObj) );
pObjNew = Aig_ObjGetRepr( pAigNew, pObjNew );
// pObjNew = Aig_ObjGetRepr( pAigNew, pObjNew );
while ( 1 )
{
Aig_Obj_t * pObjNew2 = pObjNew;
pObjNew = Aig_ObjGetRepr( pAigNew, pObjNew2 );
if ( pObjNew == pObjNew2 )
break;
}
// assert( Aig_ObjRepr( pAigNew, pObjNew ) == NULL );
// assign the copy
assert( pObj->pData == NULL );