SNUG Silicon Valley 2017 Proceedings

Static Timing Fundamentals

Jason Rziha - Microchip

End-to-End Formal Verification Using VC Formal

Nirabh Regmi - Microsoft

Trapping the Hardest to Find Hardware Bugs in the Latest ARM Cores Using FPGA-based HAPS Debug Technologies

Peter Gibbons - ARM

Shutdown with Agreements in a UVM Testbench

Mark Glasser - NVIDIA

Improved Methodology for Modeling Clock Skew in Hold Analysis

Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow

GLOBALFOUNDRIES