Ampere Computing Interview Question

How to write an assertion in SystemVerilog