diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 21:12:50 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 21:12:50 -0700 |
commit | 7ecea8d40db5f9ba0d39539c599726e95903261a (patch) | |
tree | b392cdc4434b8a8e83e5e288138f3af67ddf3fd6 /src/aig | |
parent | e9e8f17942388c4c9c53853b028b621091dd37d7 (diff) | |
download | abc-7ecea8d40db5f9ba0d39539c599726e95903261a.tar.gz abc-7ecea8d40db5f9ba0d39539c599726e95903261a.tar.bz2 abc-7ecea8d40db5f9ba0d39539c599726e95903261a.zip |
Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>).
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaIf.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 0c0f2442..aec6ae01 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -506,7 +506,8 @@ Gia_Man_t * Gia_ManFromIf( If_Man_t * pIfMan ) // which participate as leaves of some cuts used in the mapping // such nodes are marked here and skipped when mapping is derived Counter = Gia_ManMarkDangling(pNew); - if ( pIfMan->pPars->fVerbose && Counter ) +// if ( pIfMan->pPars->fVerbose && Counter ) + if ( Counter ) printf( "GIA after mapping has %d dangling nodes.\n", Counter ); // create mapping @@ -568,7 +569,7 @@ Gia_Man_t * Gia_ManFromIf( If_Man_t * pIfMan ) pNew->pMapping[iOffset-k-1]--; continue; } - assert( FaninId != GiaId ); + assert( FaninId < GiaId ); pNew->pMapping[iOffset++] = FaninId; } pNew->pMapping[iOffset++] = GiaId; |