diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-27 21:11:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-27 21:11:05 -0800 |
| commit | b556c2591e8dc6e35d523971aa467bce4ad6200e (patch) | |
| tree | c8c3a60b07901c71cdd1d7bfd5c20d7188c424cc /src/base/abci | |
| parent | caa2227b1127802e4b35f296106ca19e113ea601 (diff) | |
| download | abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.tar.gz abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.tar.bz2 abc-b556c2591e8dc6e35d523971aa467bce4ad6200e.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6db36aa0..b8e41dc0 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -974,6 +974,8 @@ void Abc_Init( Abc_Frame_t * pAbc ) { // extern void Dau_DsdTest(); // Dau_DsdTest(); +// extern void If_ManSatTest(); +// If_ManSatTest(); } if ( Sdm_ManCanRead() ) @@ -2274,7 +2276,12 @@ int Abc_CommandPrintDsd( Abc_Frame_t * pAbc, int argc, char ** argv ) // Extra_PrintBinary( stdout, pTruth, 1 << Abc_ObjFaninNum(pObj) ); // Abc_Print( -1, "\n" ); if ( fPrintDec )//&&Abc_ObjFaninNum(pObj) <= 6 ) + { + word * pTruthW = (word *)pTruth; + if ( Abc_ObjFaninNum(pObj) < 6 ) + pTruthW[0] = Abc_Tt6Stretch( pTruthW[0], Abc_ObjFaninNum(pObj) ); Dau_DecTrySets( (word *)pTruth, Abc_ObjFaninNum(pObj), 1 ); + } if ( fProfile ) Kit_TruthPrintProfile( pTruth, Abc_ObjFaninNum(pObj) ); else if ( fCofactor ) |