Domanda di colloquio di Ampere Computing

How to write an assertion in SystemVerilog