DVClub Austin – March 30, 2022, Rahul Peddi (Arm) & Vaibhav Agrawal (Arm)

Please join us on March 30, 2022 at the Norris Conference Center for a catered lunch and networking.  Rahul Peddi, a Senior Design Engineer at Arm, and Vaibhav Agrawal, a member of the CPU formal verification team at Arm, will be our guest speakers.

• 11:30am — Doors Open / Networking
• 12:00pm — Lunch / Presentations by Rahul Peddi and Vaibhav Agrawal
• 1:00pm   — Networking

Presentation #1

“Accelerating the verification cycle of a Hyperscaler Compute Subsystem” by Rahul Peddi (Arm)

Hyperscalar Compute Subsystems are increasing in size and complexity with every generation which poses various challenges to verification efforts required to achieve time to market. This talk provides insights into the optimizations and strategies used to reduce simulation run time, thereby accelerating the verification cycle.

• Rahul Peddi is a Senior Design Engineer at ARM. He completed his Masters in Computer Engineering from University of Maryland, College Park. He works in the Systems Development team to develop next Gen Server based SoCs . His work is focused on SV/UVM based test environments and Python/Ruby based Scripting for automation.

 Presentation #2

“Divide and Conquer: An overview of Formal verification strategy for CPUs designed at Arm in Austin” by Vaibhav Agrawal (Arm)

With ever increasing complexity of high end A-class CPUs designed at Arm, it was imperative to use formal-verification as a complementary technique to simulation-based-verification to find RTL bugs sooner in the design cycle, and also to enable deep bug hunting. In this talk, we present our formal verification strategy as deployed on core and fetch blocks over several generations of processors – toward the goal of achieving an overall shift-left in CPU quality.

• Vaibhav Agrawal has been a member of CPU formal Verification team at Arm in Austin since 2013, and has been engaged in enabling, owning, and deploying formal testbenches to find bugs in CPU blocks, with the goal of achieving a net “Shift-Left” in the overall CPU quality. He leads a small team of talented and motivated engineers who make this possible.

RSVP and please share with your colleagues!