this example shows an implication operator codice_43. the clause to the left of the implication is called the antecedent and the clause to the right is called the consequent. evaluation of an implication starts through repeated attempts to evaluate the antecedent. when the antecedent succeeds, the consequent is attempted, and the success of the assertion depends on the success of the consequent. in this example, the consequent won't be attempted until codice_39 goes high, after which the property will fail if codice_38 is not high on the following clock.