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.

2018 - Austin

Enhancing Verification Quality of Very High Radix Divider Designs by using Formal Tools

Pratyush Jain - Advanced Micro Devices

Track - Verification Continuum I

2018 - Austin

Error Injection in a Subsystem Level Constrained Random UVM Testbench

Jeremy Ridgeway, Hoe Nguyen - Broadcom

Track - Verification Continuum I

2018 - Austin

Formal Property Checking Applied to Low-Power Microcontroller Designs (3rd Place - Best Presentation)

Alan Carlin, Nemo Zhong - NXP Semiconductors; Tareq Altakrouri - Synopsys

Track - Verification Continuum I

2018 - Austin

Proving the Capability of Arm® IP for Functional Safety Applications

Asif Jafri, Jung-Wook Kim - Arm

Track - Verification Continuum I

2018 - Austin

Use the Sequence, Luke: Guidelines to Reach the Full Potential of UVM Sequences (Technical Committee Award - Best Paper)

Mark Litterick, Jeff Montesano, Jeff Vance - Verilab

Track - Verification Continuum I

2018 - Austin

VC Formal Apps Expansion: Security and X-Prop

Tareq Altakouri, Anders Nordstrom - Synopsys

Track - Verification Continuum I

2018 - Austin

Getting Started on Co-Emulation: Primer on Why and How to Transition Your Design and UVM Testbench to an Emulator

Jigar Savla - Juniper Networks

Track - Verification Continuum II (Emulation/Prototyping)

2018 - Austin

Out-of-the-Box Prototyping Enabling Interactive Software Development

Carl Cleaver - Synopsys

Track - Verification Continuum II (Emulation/Prototyping)

2018 - Austin

Regression Testing for Verification of Advanced CPU Subsystems using Fast Emulation

Eric White, Syed Obaidulla - Advanced Micro Devices

Track - Verification Continuum II (Emulation/Prototyping)

2018 - Austin

SimXL Tutorial

Hillel Miller, Wei-Hua Han - Synopsys

Track - Verification Continuum II (Emulation/Prototyping)