Question d’entretien chez Ampere Computing

How to write an assertion in SystemVerilog