diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-17 17:51:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-17 17:51:13 -0800 |
| commit | 3418a8820a4928d1b825001ec4c5c17a5ab2caba (patch) | |
| tree | cd77589410fcfecc3654a7fdbe132aa761a95145 /src/base/io/ioWriteBlif.c | |
| parent | cd4752b565b8ced81d1216ada390fcd024d8e143 (diff) | |
| download | abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.tar.gz abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.tar.bz2 abc-3418a8820a4928d1b825001ec4c5c17a5ab2caba.zip | |
Fixed a bug in matching code.
Diffstat (limited to 'src/base/io/ioWriteBlif.c')
| -rw-r--r-- | src/base/io/ioWriteBlif.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 1acd9177..9dc96afb 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -964,7 +964,10 @@ void Io_NtkWriteNodeIntStruct( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCov // write leaf node fprintf( pFile, ".names" ); for ( i = 0; i < pLut2[0]; i++ ) - fprintf( pFile, " %s", Abc_ObjName(Abc_ObjFanin(pNode,pLut2[2+i])) ); + if ( pLut2[2+i] == nLeaves ) + fprintf( pFile, " %s_lut1", Abc_ObjName(Abc_ObjFanout0(pNode)) ); + else + fprintf( pFile, " %s", Abc_ObjName(Abc_ObjFanin(pNode,pLut2[2+i])) ); fprintf( pFile, " %s_lut2\n", Abc_ObjName(Abc_ObjFanout0(pNode)) ); // write SOP pSop = Io_NtkDeriveSop( (Mem_Flex_t *)Abc_ObjNtk(pNode)->pManFunc, Func2, pLut2[0], vCover ); |