Pregunta de entrevista de Ampere Computing

How to write an assertion in SystemVerilog