diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-27 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-27 08:01:00 -0700 |
commit | 416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a (patch) | |
tree | 0d9c55c15e42c128a10a4da9be6140fa736a3249 /src/aig/ntk/ntkMan.c | |
parent | e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 (diff) | |
download | abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.tar.gz abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.tar.bz2 abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.zip |
Version abc80327
Diffstat (limited to 'src/aig/ntk/ntkMan.c')
-rw-r--r-- | src/aig/ntk/ntkMan.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/aig/ntk/ntkMan.c b/src/aig/ntk/ntkMan.c index e302a98c..1a077495 100644 --- a/src/aig/ntk/ntkMan.c +++ b/src/aig/ntk/ntkMan.c @@ -50,6 +50,7 @@ Ntk_Man_t * Ntk_ManAlloc() p->vTemp = Vec_PtrAlloc( 1000 ); p->nFanioPlus = 4; p->pMemObjs = Aig_MmFlexStart(); + p->pManHop = Hop_ManStart(); return p; } @@ -72,9 +73,9 @@ void Ntk_ManFree( Ntk_Man_t * p ) if ( p->vCos ) Vec_PtrFree( p->vCos ); if ( p->vObjs ) Vec_PtrFree( p->vObjs ); if ( p->vTemp ) Vec_PtrFree( p->vTemp ); - if ( p->pAig ) Aig_ManStop( p->pAig ); if ( p->pManTime ) Tim_ManStop( p->pManTime ); if ( p->pMemObjs ) Aig_MmFlexStop( p->pMemObjs, 0 ); + if ( p->pManHop ) Hop_ManStop( p->pManHop ); free( p ); } @@ -89,7 +90,7 @@ void Ntk_ManFree( Ntk_Man_t * p ) SeeAlso [] ***********************************************************************/ -void Ntk_ManPrintStats( Ntk_Man_t * p ) +void Ntk_ManPrintStats( Ntk_Man_t * p, If_Lib_t * pLutLib ) { printf( "%-15s : ", p->pName ); printf( "pi = %5d ", Ntk_ManPiNum(p) ); @@ -97,10 +98,15 @@ void Ntk_ManPrintStats( Ntk_Man_t * p ) printf( "ci = %5d ", Ntk_ManCiNum(p) ); printf( "co = %5d ", Ntk_ManCoNum(p) ); printf( "lat = %5d ", Ntk_ManLatchNum(p) ); - printf( "box = %5d ", Ntk_ManBoxNum(p) ); +// printf( "box = %5d ", Ntk_ManBoxNum(p) ); printf( "node = %5d ", Ntk_ManNodeNum(p) ); - printf( "aig = %6d ", Aig_ManNodeNum(p->pAig) ); + printf( "aig = %6d ", Ntk_ManGetAigNodeNum(p) ); + printf( "lev = %3d ", Ntk_ManLevel(p) ); + printf( "lev2 = %3d ", Ntk_ManLevel2(p) ); + printf( "delay = %5.2f", Ntk_ManDelayTraceLut(p, pLutLib) ); printf( "\n" ); + + Ntk_ManDelayTracePrint( p, pLutLib ); } //////////////////////////////////////////////////////////////////////// |