Skip to content

A
abc
Commit 4aac586c by Alan Mishchenko
Options

Integrating synthesis into the new BMC engine.

parent 6014c4b1
Showing with 6 additions and 4 deletions
src/aig/gia/giaBalance.c
...@@ -129,8 +129,9 @@ void Gia_ManSuperCollectXor_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) ...@@ -129,8 +129,9 @@ void Gia_ManSuperCollectXor_rec( Gia_Man_t * p, Gia_Obj_t * pObj )
{ {
assert( !Gia_IsComplement(pObj) ); assert( !Gia_IsComplement(pObj) );
if ( !Gia_ObjIsXor(pObj) || if ( !Gia_ObjIsXor(pObj) ||
Gia_ObjRefNum(p, pObj) > 2 || Gia_ObjRefNum(p, pObj) > 1 ||
(Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) == 1)) || // Gia_ObjRefNum(p, pObj) > 2 ||
// (Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) == 1)) ||
Vec_IntSize(p->vSuper) > 100 ) Vec_IntSize(p->vSuper) > 100 )
{ {
Vec_IntPush( p->vSuper, Gia_ObjToLit(p, pObj) ); Vec_IntPush( p->vSuper, Gia_ObjToLit(p, pObj) );
...@@ -144,8 +145,9 @@ void Gia_ManSuperCollectAnd_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) ...@@ -144,8 +145,9 @@ void Gia_ManSuperCollectAnd_rec( Gia_Man_t * p, Gia_Obj_t * pObj )
{ {
if ( Gia_IsComplement(pObj) || if ( Gia_IsComplement(pObj) ||
!Gia_ObjIsAndReal(p, pObj) || !Gia_ObjIsAndReal(p, pObj) ||
Gia_ObjRefNum(p, pObj) > 2 || Gia_ObjRefNum(p, pObj) > 1 ||
(Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) == 1)) || // Gia_ObjRefNum(p, pObj) > 2 ||
// (Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) == 1)) ||
Vec_IntSize(p->vSuper) > 100 ) Vec_IntSize(p->vSuper) > 100 )
{ {
Vec_IntPush( p->vSuper, Gia_ObjToLit(p, pObj) ); Vec_IntPush( p->vSuper, Gia_ObjToLit(p, pObj) );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment