Assertion: Valid should fall within 13 clock cycles until Req is high

[naaj_ila]

Hi Ben, Thanks for the reply.
Here is the flow.
Assertion1)

1. When Req raises, Valid can rise within 13 clock cycle
2. After 13 clock cycles, Valid should not rise during Req=1.
   (If Req drops after 13 clock cycle, should not check Valid)

Assertion2)

1. When Req raises and when Ready is 1.
   Valid should drop within 13 clock cycles during Req=1.
   (If Req drops within 13 clock cycle, should not check Valid)