From b9163754b759ad5406509d042b873f973db7ab4c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 20 Jan 2012 09:52:38 -0800 Subject: New hierarchy manager. --- src/base/abc/abcHieNew.c | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c index 76644a6d..509b8b96 100644 --- a/src/base/abc/abcHieNew.c +++ b/src/base/abc/abcHieNew.c @@ -103,7 +103,8 @@ struct Au_Man_t_ int nRefs; // reference counter // statistics int nGiaObjMax; // max number of GIA objects - double nPortsC; // const ports + double nPortsC0; // const ports + double nPortsC1; // const ports double nPortsNC; // non-const ports }; @@ -1328,8 +1329,10 @@ void Au_NtkTerSimulate_rec( Au_Ntk_t * p ) assert( Au_ObjGetXsim(pTerm) > 0 ); if ( Au_ObjGetXsim(pTerm) == AU_VALX ) p->pMan->nPortsNC++; + else if ( Au_ObjGetXsim(pTerm) == AU_VAL0 ) + p->pMan->nPortsC0++; else - p->pMan->nPortsC++; + p->pMan->nPortsC1++; } if ( strcmp(Au_NtkName(p), "ref_egcd") == 0 ) { @@ -1376,8 +1379,10 @@ void Au_NtkTerSimulate_rec( Au_Ntk_t * p ) assert( Au_ObjGetXsim(pTerm) > 0 ); if ( Au_ObjGetXsim(pTerm) == AU_VALX ) p->pMan->nPortsNC++; + else if ( Au_ObjGetXsim(pTerm) == AU_VAL0 ) + p->pMan->nPortsC0++; else - p->pMan->nPortsC++; + p->pMan->nPortsC1++; } } @@ -1402,7 +1407,8 @@ void Au_NtkTerSimulate( Au_Ntk_t * p ) Au_NtkForEachPi( p, pTerm, i ) Au_ObjSetXsim( pTerm, AU_VALX ); // recursively flatten hierarchy - p->pMan->nPortsC = 0; + p->pMan->nPortsC0 = 0; + p->pMan->nPortsC1 = 0; p->pMan->nPortsNC = 0; Au_NtkTerSimulate_rec( p ); // analyze outputs @@ -1414,8 +1420,8 @@ void Au_NtkTerSimulate( Au_Ntk_t * p ) // print results printf( "Const0 outputs =%15d. Const1 outputs =%15d. Total outputs =%15d.\n", Counter[0], Counter[1], Au_NtkPoNum(p) ); - printf( "Const ports =%15.0f. Non-const ports=%15.0f. Total ports =%15.0f.\n", - p->pMan->nPortsC, p->pMan->nPortsNC, p->pMan->nPortsC + p->pMan->nPortsNC ); + printf( "Const0 ports = %.0f. Const1 ports = %.0f. Non-const ports= %.0f. Total ports = %.0f.\n", + p->pMan->nPortsC0, p->pMan->nPortsC1, p->pMan->nPortsNC, p->pMan->nPortsC0 + p->pMan->nPortsC1 + p->pMan->nPortsNC ); } @@ -1561,7 +1567,7 @@ Gia_Man_t * Au_ManDeriveTest( Abc_Ntk_t * pRoot ) ***********************************************************************/ Gia_Man_t * Abc_NtkHieCecTest2( char * pFileName, char * pModelName, int fVerbose ) { - int fSimulation = 1; + int fSimulation = 0; Gia_Man_t * pGia = NULL; Au_Ntk_t * pNtk, * pNtkClp = NULL; int clk1 = 0, clk = clock(); -- cgit v1.2.3