In reply to Annapoornahm:
Implication works each time there is a match on the antecedent(LHS), it proceeds to check the consequent (RHS). The antecedent checks every clock cycle. The consequent only checks on the same cycle as a match for |->, and on the next cycle for |=>.