Dmitry Korchemny

• SVA
• SVA: The Power of Assertions in SystemVerilog