3.1 Using SystemVerilog Assertions for Creating Property-Based Checkers
Dmitry Korchemny - Intel Corp.
Eduard Cerny, Angshuman Saha - Synopsys, Inc.

3.2 SVA Local Variable Coding Guidelines for Efficient Use
Jiang Long, Andrew Seawright, Harry Foster - Mentor Graphics Corp.

3.3 Have I Placed All the Right Assertions in All the Right Places? Boosting Assertion Quality with Visual Flow Diagrams
Roger Sabbagh - Mentor Graphics Corp.
Jim O'Connor - iVivity, Inc.