SNUG Proceedings

Sort and filter by Location, Year, or Content Type to locate the papers, presentations, and session recordings that are applicable to you. You can also search all SNUG event proceedings using the keyword search below.

2019 - Austin

zSV Connect: Methodology to Connect ZeBu to VCS for UVM Monitor Reuse with zdpiReport Post-processing

Sameer Ghewari - Synopsys

Track - Verification Continuum HW

2019 - Austin

“Shift Left” using Design Independent UPF Checking and Hierarchical Low Power Static Verification using Signoff Abstract Model (SAM)

Bharani Ellore, Parag Mandrekar - Advanced Micro Devices; Himanshu Bhatt, Susantha Wijesekara - Synopsys

Track - Verification Continuum SW

2019 - Austin

All Your Base Transactions Belong to Us (Technical Committee Best Paper Award)

Jeff Vance, Alex Melikian - Verilab

Track - Verification Continuum SW

2019 - Austin

Automotive Functional Safety

Jiri Prevatil - Synopsys

Track - Verification Continuum SW

2019 - Austin

Directed stimulus for UVM testbench.

Ilia Davidovich - AMD

Track - Verification Continuum SW

2019 - Austin

Machine Learning RCA Cutting Debug Time by 10X

Himanshu Bhatt, Rahul Chirania - Synopsys

Track - Verification Continuum SW

2019 - Austin

Scalable SAS4 Storage Controller Verification with Synopsys SAS/SATA VIPs

Deepali Joshi, Hening Li, John Ogawa, Rob Szolomicki, Rahul Thomas, Borna Vojdani, YiChao Zhang - Microchip ; Adarsh Gopinath, Rama Krishna Tata - Synopsys

Track - Verification Continuum SW

2019 - Austin

Solving Simulation vs. Synthesis Mismatches with VC-Formal AEP and FXP (1st Place Best Presentation)

Alan Carlin - NXP Semiconductors; Tareq Altakrouri - Synopsys

Track - Verification Continuum SW

2019 - Austin

Verification of a Modern Branch Predictor

Ashutosh Moghe, Ken Matthews - Samsung

Track - Verification Continuum SW

2019 - Austin

Want Functional Coverage Closure? Don’t Kneel to the Almighty Random Constraint Solver (2nd Place Best Presentation)

Jeremy Ridgeway - Broadcom

Track - Verification Continuum SW