diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
| commit | 69b5bcad56f9352eea80d3e9b5e1322782522059 (patch) | |
| tree | 9381d7ce208e93fc82efc5606bcd59ec1dbed765 /src/map | |
| parent | 087951655efdc20b5b4beb64b15edf86a27850a8 (diff) | |
| download | abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.gz abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.bz2 abc-69b5bcad56f9352eea80d3e9b5e1322782522059.zip | |
Version abc80403_2
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifLib.c | 2 | ||||
| -rw-r--r-- | src/map/if/ifMap.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifLib.c b/src/map/if/ifLib.c index c5353e19..455f43d9 100644 --- a/src/map/if/ifLib.c +++ b/src/map/if/ifLib.c @@ -90,7 +90,7 @@ If_Lib_t * If_LutLibRead( char * FileName ) return NULL; } - // check if var delays are specifies + // check if var delays are specified if ( k > 1 ) p->fVarPinDelays = 1; diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 81521abf..573932d0 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -88,7 +88,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep { // recompute the parameters of the best cut pCut->Delay = If_CutDelay( p, pCut ); - assert( pCut->Delay <= pObj->Required + p->fEpsilon ); +// assert( pCut->Delay <= pObj->Required + p->fEpsilon ); pCut->Area = (Mode == 2)? If_CutAreaDerefed( p, pCut ) : If_CutAreaFlow( p, pCut ); if ( p->pPars->fEdge ) pCut->Edge = (Mode == 2)? If_CutEdgeDerefed( p, pCut ) : If_CutEdgeFlow( p, pCut ); |