ASIC Question Bank

For the one-cycle antecedent a, which property is cycle-equivalent to the property shown?

assert property (@(posedge clk) a |=> b);