diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
| commit | 4da784c049b79b76d8c1b82297bd27f45ead9377 (patch) | |
| tree | 8e69de9f95a13f1ef6ec9f3624be997ef080dc0d /src/base/io/ioWriteBench.c | |
| parent | dd5531caf916d526551049b59151990adaef575d (diff) | |
| download | abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.gz abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.bz2 abc-4da784c049b79b76d8c1b82297bd27f45ead9377.zip | |
Version abc70328
Diffstat (limited to 'src/base/io/ioWriteBench.c')
| -rw-r--r-- | src/base/io/ioWriteBench.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/src/base/io/ioWriteBench.c b/src/base/io/ioWriteBench.c index b8b3b83b..4b766a47 100644 --- a/src/base/io/ioWriteBench.c +++ b/src/base/io/ioWriteBench.c @@ -223,7 +223,7 @@ int Io_WriteBenchLutOne( FILE * pFile, Abc_Ntk_t * pNtk ) Abc_NtkForEachLatch( pNtk, pNode, i ) fprintf( pFile, "%-11s = DFFRSE( %s, gnd, gnd, gnd, gnd )\n", Abc_ObjName(Abc_ObjFanout0(Abc_ObjFanout0(pNode))), Abc_ObjName(Abc_ObjFanin0(Abc_ObjFanin0(pNode))) ); - +//Abc_NtkLevel(pNtk); // write internal nodes vMemory = Vec_IntAlloc( 10000 ); pProgress = Extra_ProgressBarStart( stdout, Abc_NtkObjNumMax(pNtk) ); @@ -283,6 +283,19 @@ int Io_WriteBenchLutOneNode( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vTruth // write it in the hexadecimal form fprintf( pFile, "%-11s = LUT 0x", Abc_ObjName(Abc_ObjFanout0(pNode)) ); Extra_PrintHexadecimal( pFile, pTruth, nFanins ); +/* + { +extern void Kit_DsdTest( unsigned * pTruth, int nVars ); +Abc_ObjForEachFanin( pNode, pFanin, i ) +printf( "%c%d ", 'a'+i, Abc_ObjFanin0(pFanin)->Level ); +printf( "\n" ); +Kit_DsdTest( pTruth, nFanins ); + } + if ( pNode->Id % 1000 == 0 ) + { + int x = 0; + } +*/ // write the fanins fprintf( pFile, " (" ); Abc_ObjForEachFanin( pNode, pFanin, i ) |