From 2d38fc16082607666fe60a72197872196c7bcc2a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jun 2014 13:04:03 -0700 Subject: Adding print-out to &splitprove to see impact of cof variable on AIG size. --- src/base/abci/abcPrint.c | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'src/base/abci/abcPrint.c') 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++ ) -- cgit v1.2.3