diff options
Diffstat (limited to 'src/base/cba/cbaWriteBlif.c')
-rw-r--r-- | src/base/cba/cbaWriteBlif.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/base/cba/cbaWriteBlif.c b/src/base/cba/cbaWriteBlif.c index 16929001..29f8f89b 100644 --- a/src/base/cba/cbaWriteBlif.c +++ b/src/base/cba/cbaWriteBlif.c @@ -132,12 +132,7 @@ void Cba_ManWriteBlifGate( FILE * pFile, Cba_Ntk_t * p, Mio_Gate_t * pGate, Vec_ { int iFanin, i; Vec_IntForEachEntry( vFanins, iFanin, i ) - { - if ( Cba_ObjIsCo(p, iFanin) ) - iFanin = Cba_ObjFanin(p, iFanin); - assert( Cba_ObjIsCi(p, iFanin) ); fprintf( pFile, " %s=%s", Mio_GateReadPinName(pGate, i), Cba_ObjNameStr(p, iFanin) ); - } fprintf( pFile, " %s=%s", Mio_GateReadOutName(pGate), Cba_ObjNameStr(p, iObj) ); fprintf( pFile, "\n" ); } @@ -145,12 +140,7 @@ void Cba_ManWriteBlifArray( FILE * pFile, Cba_Ntk_t * p, Vec_Int_t * vFanins, in { int iFanin, i; Vec_IntForEachEntry( vFanins, iFanin, i ) - { - if ( Cba_ObjIsCo(p, iFanin) ) - iFanin = Cba_ObjFanin(p, iFanin); - assert( Cba_ObjIsCi(p, iFanin) ); fprintf( pFile, " %s", Cba_ObjNameStr(p, iFanin) ); - } if ( iObj >= 0 ) fprintf( pFile, " %s", Cba_ObjNameStr(p, iObj) ); fprintf( pFile, "\n" ); |