Federico:
la ecuación (A) analiza que se cumpla el tiempo de setup requerido por el registro. De tu consulta entiendo que con esa parte no hay dudas, si no fuera así avisá.
Las ecuaciones (B) y (C) intentan verificar que el pulso a cero en la salida de la OR llega a producirse. Para eso verifica que la resta entre el instante de subida y el instante de bajada de esa señal sea siempre mayor que cero.
La bajada va a estar causada por la entrada de la OR que baje último, mientras que la subida va a ser causada por la entrada a la OR que suba primero. Como las bajadas de MREQ y WR están referidas a diferente flanco de reloj se hace un análisis separado suponiendo en un caso que la bajada es provocada por MREQ (ec. B) y en otro por la bajada de WR (ec. C).
En B se toma como referencia el instante del flanco de bajada de T1, y la resta queda:
(T1L + T2 + nTw + T3H + min{t32min, t12min} + tor_min) - (t8max+tormax)
En B se toma como referencia la bajada de T2, y en este caso la resta queda:
(T2L + nTw + T3H + min{t32min, t12min} + tor_min) - (t30max+tormax)
Para el flanco de subida, el peor caso es que se produzca antes y por eso se consideran todos los parámetros mínimos en el primer paréntesis. Para el flanco de bajada en cambio, el peor caso es que se produzca lo más tarde, y por eso se usan los max en el segundo paréntesis.
Espero haber ayudado, pero si algo no está claro no dudes en volver a consultar.
julio
