diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:45:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-11-29 01:45:48 -0800 |
| commit | c7bb89d1b962f879b4b3f26535c82657fd9bd756 (patch) | |
| tree | 3819801287d7589e53eeab2b4bf1eafdf4007ebc /src/base | |
| parent | 5a192f026f94e09c4df20810326a53618164f5c7 (diff) | |
| download | abc-c7bb89d1b962f879b4b3f26535c82657fd9bd756.tar.gz abc-c7bb89d1b962f879b4b3f26535c82657fd9bd756.tar.bz2 abc-c7bb89d1b962f879b4b3f26535c82657fd9bd756.zip | |
An option to output verbose stats about timeframe sizes during unrolling
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcMiter.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c index dbb27e91..0c75919c 100644 --- a/src/base/abci/abcMiter.c +++ b/src/base/abci/abcMiter.c @@ -858,6 +858,8 @@ Abc_Ntk_t * Abc_NtkFrames( Abc_Ntk_t * pNtk, int nFrames, int fInitial, int fVer ***********************************************************************/ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFrames, Abc_Ntk_t * pNtk, int iFrame ) { + int fVerbose = 0; + int NodeBef = Abc_NtkNodeNum(pNtkFrames); char Buffer[10]; Abc_Obj_t * pNode, * pLatch; int i; @@ -880,6 +882,11 @@ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFrames, Abc_Ntk_t * pNtk, int iFrame ) pLatch->pCopy = Abc_ObjChild0Copy(Abc_ObjFanin0(pLatch)); Abc_NtkForEachLatch( pNtk, pLatch, i ) Abc_ObjFanout0(pLatch)->pCopy = pLatch->pCopy; + // nodes after + if ( fVerbose ) + printf( "F = %4d : Total = %6d. Nodes = %6d. Prop = %s.\n", + iFrame, Abc_NtkNodeNum(pNtk), Abc_NtkNodeNum(pNtkFrames)-NodeBef, + Abc_AigNodeIsConst( Abc_ObjFanin0(Abc_NtkPo(pNtk,0))->pCopy ) ? "proof" : "unknown" ); } |