diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-03 12:48:55 -0800 |
| commit | e17234d90ca610fdd3cb408228a347b0440aa861 (patch) | |
| tree | f23e338fd78c3065c59a7946be385ba56ce6cd24 /src/base/cba/cbaWriteBlif.c | |
| parent | 7441908ffbafd6bed148596fc53fd503dff6fa32 (diff) | |
| download | abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.gz abc-e17234d90ca610fdd3cb408228a347b0440aa861.tar.bz2 abc-e17234d90ca610fdd3cb408228a347b0440aa861.zip | |
Improvements to the CBA package.
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" ); |