← Understanding the SVA Engine - SystemVerilog