diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 15:04:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 15:04:25 -0700 |
| commit | c0ac159888963dae8dabeb2ee9215f3efdf48a1a (patch) | |
| tree | d8f2d17b8d4fe30a3f0a53bee480a973440cb122 /src/base/abci/abcDec.c | |
| parent | b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7 (diff) | |
| download | abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.tar.gz abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.tar.bz2 abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.zip | |
New technology mapper.
Diffstat (limited to 'src/base/abci/abcDec.c')
| -rw-r--r-- | src/base/abci/abcDec.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 57a17ffe..60fbcbd4 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -357,6 +357,7 @@ void Abc_TruthStoreRead( char * pFileName, Abc_TtStore_t * p ) void Abc_TtStoreWrite( char * pFileName, Abc_TtStore_t * p, int fBinary ) { FILE * pFile; + char pBuffer[1000]; int i, nBytes = 8 * Abc_Truth6WordNum( p->nVars ); pFile = fopen( pFileName, "wb" ); if ( pFile == NULL ) @@ -369,7 +370,11 @@ void Abc_TtStoreWrite( char * pFileName, Abc_TtStore_t * p, int fBinary ) if ( fBinary ) fwrite( p->pFuncs[i], nBytes, 1, pFile ); else - Abc_TruthWriteHex( pFile, p->pFuncs[i], p->nVars ), fprintf( pFile, "\n" ); + { + Abc_TruthWriteHex( pFile, p->pFuncs[i], p->nVars ), fprintf( pFile, " " ); + Dau_DsdDecompose( p->pFuncs[i], p->nVars, 0, (int)(p->nVars <= 10), pBuffer ); + fprintf( pFile, "%s\n", pBuffer ); + } } fclose( pFile ); } |