From 2c7f6e39b84d29db096388459db7583c01b79b01 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 30 Mar 2008 08:01:00 -0700 Subject: Version abc80330 --- src/aig/ntk/ntkMan.c | 116 --------------------------------------------------- 1 file changed, 116 deletions(-) delete mode 100644 src/aig/ntk/ntkMan.c (limited to 'src/aig/ntk/ntkMan.c') diff --git a/src/aig/ntk/ntkMan.c b/src/aig/ntk/ntkMan.c deleted file mode 100644 index 1a077495..00000000 --- a/src/aig/ntk/ntkMan.c +++ /dev/null @@ -1,116 +0,0 @@ -/**CFile**************************************************************** - - FileName [ntkMan.c] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [Netlist representation.] - - Synopsis [Network manager.] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - June 20, 2005.] - - Revision [$Id: ntkMan.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#include "ntk.h" - -//////////////////////////////////////////////////////////////////////// -/// DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -/**Function************************************************************* - - Synopsis [Allocates the netlist manager.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -Ntk_Man_t * Ntk_ManAlloc() -{ - Ntk_Man_t * p; - p = ALLOC( Ntk_Man_t, 1 ); - memset( p, 0, sizeof(Ntk_Man_t) ); - p->vCis = Vec_PtrAlloc( 1000 ); - p->vCos = Vec_PtrAlloc( 1000 ); - p->vObjs = Vec_PtrAlloc( 1000 ); - p->vTemp = Vec_PtrAlloc( 1000 ); - p->nFanioPlus = 4; - p->pMemObjs = Aig_MmFlexStart(); - p->pManHop = Hop_ManStart(); - return p; -} - -/**Function************************************************************* - - Synopsis [Deallocates the netlist manager.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Ntk_ManFree( Ntk_Man_t * p ) -{ - if ( p->pName ) free( p->pName ); - if ( p->pSpec ) free( p->pSpec ); - if ( p->vCis ) Vec_PtrFree( p->vCis ); - if ( p->vCos ) Vec_PtrFree( p->vCos ); - if ( p->vObjs ) Vec_PtrFree( p->vObjs ); - if ( p->vTemp ) Vec_PtrFree( p->vTemp ); - if ( p->pManTime ) Tim_ManStop( p->pManTime ); - if ( p->pMemObjs ) Aig_MmFlexStop( p->pMemObjs, 0 ); - if ( p->pManHop ) Hop_ManStop( p->pManHop ); - free( p ); -} - -/**Function************************************************************* - - Synopsis [Deallocates the netlist manager.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Ntk_ManPrintStats( Ntk_Man_t * p, If_Lib_t * pLutLib ) -{ - printf( "%-15s : ", p->pName ); - printf( "pi = %5d ", Ntk_ManPiNum(p) ); - printf( "po = %5d ", Ntk_ManPoNum(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( "node = %5d ", Ntk_ManNodeNum(p) ); - 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 ); -} - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - - -- cgit v1.2.3