Chip VerificationThe New Frontiers

Leads Research and Innovation on Formal Verification at Synopsys, Sunnyvale, with more than 25 years in formal verification. He was a professor and Dean of Sponsored Research at IIT Kharagpur, where his research group on formal methods and EDA produced over 250 publications.

A home-grown Intel Fellow who joined Intel from IISc Bangalore. He leads the Formal Verification Central Tech Office, is co-author of Formal Verification — An Essential Toolkit for Modern VLSI Design, and has 100+ publications and 15 best-paper awards.

20+ years in VLSI, specialising in SoC pre- and post-silicon validation. He leads Qualcomm’s SoC Validation & Emulation team for Snapdragon mobile SoCs across handset, compute, automotive, IoT and XR.

Assistant Professor in the School of Electrical Sciences at IIT Bhubaneswar, with a PhD from INRIA / University of Rennes 1. His research covers formal methods, and runtime verification and enforcement in particular.

FPGA Platform Power Architect in Intel’s Programmable Solutions Group, with about 22 years in the semiconductor industry on power and performance modelling for client SoCs, HPC and FPGAs. PhD from the University of Rennes 1; IEEE Senior Member.

24 years in SoC design verification and validation; an expert in automotive functional-safety verification who led multiple ASIL-D/B SoCs at Qualcomm and holds 2 US patents.

Chair of the IEEE Computer Society Bangalore Chapter and Vice-Chair (Industry Engagements) of the IEEE Bangalore Section; he has served on the editorial boards of IEEE Communications Magazine and IEEE ITS Magazine.

Lead Engineer and Expert Technologist at Hewlett Packard Enterprise, leading customer consulting on end-to-end vRAN architecture and contributing to O-RAN Alliance working groups.

Leads Western Digital’s global product-development team for the Content Solutions Group — SD/microSD, USB, CFast and retail SSD products.

A veteran of EDA and verification (Cadence, Synopsys, Interra, and Head of EDA at Texas Instruments Bangalore), now Director at Cisma Consultants, working on formal verification, portable stimulus and machine learning.