Eduard Cerny

• Hierarchical annotated action diagrams
• Berifike shon mesodoroji manyuaru
• SVA
• SVA: The Power of Assertions in SystemVerilog
• The power of assertions in SystemVerilog
• Verification Methodology Manual for SystemVerilog
• Verification methodology manual for SystemVerilog