Bug fix in technology mapper.

src/map/mio/mioUtils.c

@@ -729,11 +729,20 @@ void Mio_LibraryTransferDelays( Mio_Library_t * pLibD, Mio_Library_t * pLibS )
             pPinS = Mio_GateReadPins( pGateS );
             Mio_GateForEachPin( pGateD, pPinD )
             {
+                if (pPinS)
+                {
                     pPinD->dDelayBlockRise = pPinS->dDelayBlockRise;
                     pPinD->dDelayBlockFall = pPinS->dDelayBlockFall;
                     pPinD->dDelayBlockMax  = pPinS->dDelayBlockMax;
                     pPinS = Mio_PinReadNext(pPinS);
                 }
+                else
+                {
+                    pPinD->dDelayBlockRise = 0;
+                    pPinD->dDelayBlockFall = 0;
+                    pPinD->dDelayBlockMax  = 0;
+                }
+            }
         }
     }
 }