diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-07 13:04:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-07 13:04:03 -0700 |
commit | 2d38fc16082607666fe60a72197872196c7bcc2a (patch) | |
tree | 2b61435960778c8d95ead1bf350f2be061d7e99f /src/base/abci/abcPrint.c | |
parent | 8a341c200f15988ee37f283924342553029deea6 (diff) | |
download | abc-2d38fc16082607666fe60a72197872196c7bcc2a.tar.gz abc-2d38fc16082607666fe60a72197872196c7bcc2a.tar.bz2 abc-2d38fc16082607666fe60a72197872196c7bcc2a.zip |
Adding print-out to &splitprove to see impact of cof variable on AIG size.
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r-- | src/base/abci/abcPrint.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 06e459fe..7358a519 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -524,7 +524,7 @@ void Abc_NtkPrintLatch( FILE * pFile, Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ -void Abc_NtkPrintFanio( FILE * pFile, Abc_Ntk_t * pNtk ) +void Abc_NtkPrintFanio( FILE * pFile, Abc_Ntk_t * pNtk, int fUsePis ) { Abc_Obj_t * pNode; int i, k, nFanins, nFanouts; @@ -558,6 +558,18 @@ void Abc_NtkPrintFanio( FILE * pFile, Abc_Ntk_t * pNtk ) vFanins->pArray[nFanins]++; vFanouts->pArray[nFanouts]++; } + if ( fUsePis ) + { + Vec_IntFill( vFanouts, Vec_IntSize(vFanouts), 0 ); + Abc_NtkForEachCi( pNtk, pNode, i ) + { + if ( Abc_NtkIsNetlist(pNtk) ) + nFanouts = Abc_ObjFanoutNum( Abc_ObjFanout0(pNode) ); + else + nFanouts = Abc_ObjFanoutNum(pNode); + vFanouts->pArray[nFanouts]++; + } + } fprintf( pFile, "The distribution of fanins and fanouts in the network:\n" ); fprintf( pFile, " Number Nodes with fanin Nodes with fanout\n" ); for ( k = 0; k < vFanins->nSize; k++ ) |