From 661abab094143930f58633dfad415468a90cef6f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Apr 2008 08:01:00 -0700 Subject: Version abc80406 --- src/aig/ntl/ntlReadBlif.c | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/aig/ntl/ntlReadBlif.c') diff --git a/src/aig/ntl/ntlReadBlif.c b/src/aig/ntl/ntlReadBlif.c index 2cf3caaa..ce3a2051 100644 --- a/src/aig/ntl/ntlReadBlif.c +++ b/src/aig/ntl/ntlReadBlif.c @@ -109,6 +109,7 @@ Ntl_Man_t * Ioa_ReadBlif( char * pFileName, int fCheck ) FILE * pFile; Ioa_ReadMan_t * p; Ntl_Man_t * pDesign; + int nNodes; // check that the file is available pFile = fopen( pFileName, "rb" ); @@ -164,6 +165,9 @@ Ntl_Man_t * Ioa_ReadBlif( char * pFileName, int fCheck ) } } + // transform the design by removing the CO drivers + if ( (nNodes = Ntl_ManTransformCoDrivers(pDesign)) ) + printf( "The design was transformed by removing %d buf/inv CO drivers.\n", nNodes ); //Ioa_WriteBlif( pDesign, "_temp_.blif" ); return pDesign; } @@ -614,6 +618,11 @@ static Ntl_Man_t * Ioa_ReadParse( Ioa_ReadMan_t * p ) // finalize the network Ntl_ModelFixNonDrivenNets( pMod->pNtk ); } + if ( i == 0 ) + return NULL; + // update the design name + pMod = Vec_PtrEntry( p->vModels, 0 ); + p->pDesign->pName = Ntl_ManStoreName( p->pDesign, pMod->pNtk->pName ); // return the network pDesign = p->pDesign; p->pDesign = NULL; -- cgit v1.2.3