From 606fed3b847bc2029a9eb4622f0e23eae3c3bb1c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 19 Apr 2014 19:57:32 -0700 Subject: Added optimization for average rather than maximum delay. --- src/aig/gia/giaIf.c | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/aig/gia/giaIf.c') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 57cc988f..11a349e3 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1659,10 +1659,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized ) pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; pNew->nAnd2Delay = p->nAnd2Delay; p->nAnd2Delay = 0; Gia_ManStop( p ); -// printf( "PERFORMING VERIFICATION:\n" ); -// Gia_ManVerifyWithBoxes( pNew, NULL ); -// if ( pPars->fRepack ) -// Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose ); return pNew; } -- cgit v1.2.3