Sollicitatievraag bij Ampere Computing

How to write an assertion in SystemVerilog