summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-11-01 00:58:12 +0200
committerAlan Mishchenko <alanmi@berkeley.edu>2019-11-01 00:58:12 +0200
commit6b2fe00cd82f0229777a6beb2390858834551399 (patch)
treef4ba85a0d1aa0888e7fef966d01b5ef6aa03d4dc /src/aig/gia
parent7f503dc73738b79ed388091f903e8df879c21ac7 (diff)
downloadabc-6b2fe00cd82f0229777a6beb2390858834551399.tar.gz
abc-6b2fe00cd82f0229777a6beb2390858834551399.tar.bz2
abc-6b2fe00cd82f0229777a6beb2390858834551399.zip
Changes to several APIs.
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaMan.c13
1 files changed, 8 insertions, 5 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 6dc395d2..e346b260 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -1315,18 +1315,21 @@ void Gia_ManDumpVerilog( Gia_Man_t * p, char * pFileName, Vec_Int_t * vObjs )
fprintf( pFile, "\n" );
Gia_ManForEachAnd( p, pObj, i )
{
+ int fSkip = 0;
if ( vObjs )
{
Vec_IntForEachEntry( vObjs, iObj, k )
if ( iObj == i )
break;
if ( k < Vec_IntSize(vObjs) )
- continue;
+ fSkip = 1;
+ }
+ if ( !fSkip )
+ {
+ fprintf( pFile, " and( %s,", Gia_ObjGetDumpName(NULL, 'n', i, nDigits) );
+ fprintf( pFile, " %s,", Gia_ObjGetDumpName(NULL, (char)(Gia_ObjFaninC0(pObj)? 'i':'n'), Gia_ObjFaninId0(pObj, i), nDigits) );
+ fprintf( pFile, " %s );\n", Gia_ObjGetDumpName(NULL, (char)(Gia_ObjFaninC1(pObj)? 'i':'n'), Gia_ObjFaninId1(pObj, i), nDigits) );
}
-
- fprintf( pFile, " and( %s,", Gia_ObjGetDumpName(NULL, 'n', i, nDigits) );
- fprintf( pFile, " %s,", Gia_ObjGetDumpName(NULL, (char)(Gia_ObjFaninC0(pObj)? 'i':'n'), Gia_ObjFaninId0(pObj, i), nDigits) );
- fprintf( pFile, " %s );\n", Gia_ObjGetDumpName(NULL, (char)(Gia_ObjFaninC1(pObj)? 'i':'n'), Gia_ObjFaninId1(pObj, i), nDigits) );
if ( Vec_BitEntry(vInvs, i) )
{
fprintf( pFile, " not( %s,", Gia_ObjGetDumpName(NULL, 'i', i, nDigits) );