Pergunta de entrevista da empresa Ampere Computing

How to write an assertion in SystemVerilog