In reply to Husni Mahdi:
By saying you don’t want the assertion checking “from one “run” to the next”, I think you want this to fail if valid falls and ready has not been asserted. I think you might look to see if this meets your needs:
$rose(valid) |-> ready[=1] within valid[*6:10];