diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-11 08:01:00 -0700 |
| commit | 651a32cdc379d2341c631b719ed9af16ce5a66c9 (patch) | |
| tree | 9c4ffb213ac4a958db8134e21c5e83bafe48005b /src/aig/ntl/ntlFraig.c | |
| parent | c645bac3663c265470024b44ed91b0afdbe59b88 (diff) | |
| download | abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.tar.gz abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.tar.bz2 abc-651a32cdc379d2341c631b719ed9af16ce5a66c9.zip | |
Version abc80411
Diffstat (limited to 'src/aig/ntl/ntlFraig.c')
| -rw-r--r-- | src/aig/ntl/ntlFraig.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c index 8a172e6c..98f14d3d 100644 --- a/src/aig/ntl/ntlFraig.c +++ b/src/aig/ntl/ntlFraig.c @@ -192,6 +192,8 @@ Aig_Man_t * Ntl_ManScl( Ntl_Man_t * p, Aig_Man_t * pAig, int fLatchConst, int fL // derive the new AIG pTemp = Aig_ManDupRepresDfs( pAig ); +printf( "Intermediate:\n" ); +Aig_ManPrintStats( pTemp ); // duplicate the timing manager if ( pAig->pManTime ) pTemp->pManTime = Tim_ManDup( pAig->pManTime, 0 ); @@ -230,17 +232,21 @@ Aig_Man_t * Ntl_ManLcorr( Ntl_Man_t * p, Aig_Man_t * pAig, int nConfMax, int fVe // perform fraiging for the given design pAigCol->nRegs = Ntl_ModelLatchNum(Ntl_ManRootModel(p)); pTemp = Fra_FraigLatchCorrespondence( pAigCol, 0, nConfMax, 0, fVerbose, NULL ); +//printf( "Reprs = %d.\n", Aig_ManCountReprs(pAigCol) ); Aig_ManStop( pTemp ); // transfer equivalence classes to the original AIG pAig->pReprs = Ntl_ManFraigDeriveClasses( pAig, pNew, pAigCol ); pAig->nReprsAlloc = Aig_ManObjNumMax(pAig); +//printf( "Reprs = %d.\n", Aig_ManCountReprs(pAig) ); // cleanup Aig_ManStop( pAigCol ); Ntl_ManFree( pNew ); // derive the new AIG pTemp = Aig_ManDupRepresDfs( pAig ); +//printf( "Intermediate LCORR:\n" ); +//Aig_ManPrintStats( pTemp ); // duplicate the timing manager if ( pAig->pManTime ) pTemp->pManTime = Tim_ManDup( pAig->pManTime, 0 ); |