diff options
| author | alanminko <37236958+alanminko@users.noreply.github.com> | 2020-04-30 14:01:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-30 14:01:08 -0700 |
| commit | fb8d13a1c50f3ff7f6975551bc55104600b7980f (patch) | |
| tree | b107375806dca7c92d2297777514eda4933610bd /src/aig/gia/giaDup.c | |
| parent | 5f16cd94d62bbc98fb68f8f2897bb3d9f0ff5af2 (diff) | |
| parent | ddb626576c11f5a2790999584f2913c0aba16a7e (diff) | |
| download | abc-fb8d13a1c50f3ff7f6975551bc55104600b7980f.tar.gz abc-fb8d13a1c50f3ff7f6975551bc55104600b7980f.tar.bz2 abc-fb8d13a1c50f3ff7f6975551bc55104600b7980f.zip | |
Merge pull request #65 from FPGeh/fix_seq_synth
Gia_ManDupPermFlop to behave as Gia_ManDupPerm
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index a1aaadf3..4f448c40 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -855,12 +855,12 @@ Gia_Man_t * Gia_ManDupPerm( Gia_Man_t * p, Vec_Int_t * vPiPerm ) } Gia_Man_t * Gia_ManDupPermFlop( Gia_Man_t * p, Vec_Int_t * vFfPerm ) { - Vec_Int_t * vPermInv; + //Vec_Int_t * vPermInv; Gia_Man_t * pNew; Gia_Obj_t * pObj; int i; assert( Vec_IntSize(vFfPerm) == Gia_ManRegNum(p) ); - vPermInv = Vec_IntInvert( vFfPerm, -1 ); + //vPermInv = Vec_IntInvert( vFfPerm, -1 ); pNew = Gia_ManStart( Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); @@ -868,14 +868,16 @@ Gia_Man_t * Gia_ManDupPermFlop( Gia_Man_t * p, Vec_Int_t * vFfPerm ) Gia_ManForEachPi( p, pObj, i ) pObj->Value = Gia_ManAppendCi(pNew); Gia_ManForEachRo( p, pObj, i ) - Gia_ManRo(p, Vec_IntEntry(vPermInv, i))->Value = Gia_ManAppendCi(pNew); + //Gia_ManRo(p, Vec_IntEntry(vPermInv, i))->Value = Gia_ManAppendCi(pNew); + Gia_ManRo(p, Vec_IntEntry(vFfPerm, i))->Value = Gia_ManAppendCi( pNew ); Gia_ManForEachAnd( p, pObj, i ) pObj->Value = Gia_ManAppendAnd( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); Gia_ManForEachPo( p, pObj, i ) pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); Gia_ManForEachRi( p, pObj, i ) - pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy( Gia_ManRi(p, Vec_IntEntry(vPermInv, i)) ) ); - Vec_IntFree( vPermInv ); + //pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy( Gia_ManRi(p, Vec_IntEntry(vPermInv, i)) ) ); + pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy( Gia_ManRi(p, Vec_IntEntry(vFfPerm, i)) ) ); + //Vec_IntFree( vPermInv ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); return pNew; } |