diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 19:57:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 19:57:32 -0700 |
| commit | 606fed3b847bc2029a9eb4622f0e23eae3c3bb1c (patch) | |
| tree | 7c18a2f82f814aa01e5b3ff2ae655aae238cf50f /src/aig/gia/giaIf.c | |
| parent | e868d057bbc6d0d0a0a32bd39f0b90698c50428d (diff) | |
| download | abc-606fed3b847bc2029a9eb4622f0e23eae3c3bb1c.tar.gz abc-606fed3b847bc2029a9eb4622f0e23eae3c3bb1c.tar.bz2 abc-606fed3b847bc2029a9eb4622f0e23eae3c3bb1c.zip | |
Added optimization for average rather than maximum delay.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 4 |
1 files changed, 0 insertions, 4 deletions
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; } |