summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2010-11-29 01:38:31 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2010-11-29 01:38:31 -0800
commitf404f9ffb49b307a52deeb92108249430afaf5ed (patch)
treecfd349dcf20b94ebddeb280deb24ca2daab4fd4e
parent92420c2d1fb460e57791d2d5920a0991218daf5a (diff)
downloadabc-f404f9ffb49b307a52deeb92108249430afaf5ed.tar.gz
abc-f404f9ffb49b307a52deeb92108249430afaf5ed.tar.bz2
abc-f404f9ffb49b307a52deeb92108249430afaf5ed.zip
Performance bug fix in area-only mapping "map -a".
-rw-r--r--src/map/mapper/mapperMatch.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c
index 5fce3dc0..19dd6939 100644
--- a/src/map/mapper/mapperMatch.c
+++ b/src/map/mapper/mapperMatch.c
@@ -482,7 +482,7 @@ void Map_NodeTryDroppingOnePhase( Map_Man_t * p, Map_Node_t * pNode )
tWorst1Using0 = Map_TimeMatchWithInverter( p, pMatchBest0 );
// consider the case of mapping for delay
- if ( p->fMappingMode == 0 )
+ if ( p->fMappingMode == 0 && p->DelayTarget < ABC_INFINITY )
{
// if the arrival time of a phase is larger than the arrival time
// of the opposite phase plus the inverter, drop this phase