September 10-11, 2025

Lifetime Achievement Award

Nilesh M Desai, ISRO

Notable Contribution – Individual

Achutha Kiran Kumar V M, Intel

Notable Contribution – Individual

Somasunder Kattepura Sreenath, Samsung

Best Academic Institution

RV College of Engineering, Bangalore

General Category

Best Paper

Python Empowered GLS Bringup Vehicle
Debarati Banerjee, Nikhil Singla, Shantha B, Pandithurai Sangaiyah
Google

Best Paper Runner-Up

Breaking Down Barriers: Achieving seamless protocol conversion with UVM component layering
Santosh Mahale, Shantanu Lele
Marvell

Formal & Static

Best Paper

PropGen: An automated flow to generate SVA properties for formal and simulation methods
Amith Shambhu, Vishal Dalal, Basavaraj Naik
Infineon

Best Paper Runner-Up

When Last Minute Formal Verification Strikes Gold: A Case Study on Finding Starvations and Deadlocks in a Project nearning Tape-in using RTL embedded assertions
Abhishek Potdar, Sachin Kumawat, Sudhanshu Srivastava, Anshul Jain
Intel

Best Poster

Best Poster Winner

Design verification of a cascaded mmWave FMCW Radar
Shweta Pujar, Vijay M, Sainath Karlapalem, Dharani Sharvanan and Kavya P S
NXP Semiconductors

Best Poster Runner-Up

Formalize the Cache: Formal Verification Techniques to Verify Different Cache Configurations
Sudhanshu Srivastava, Aman Vyas, Sachin Kumawat, Rupali Tewari
Intel

Notable Mentions

Formal Verification Accelerating Coherent Bridge IP Development and Fast Forward DV
Ravindrareddy Pulicharla, Nitin Neralkar, Chayan Pathak, Venkatesh Chepuri, Madhusudhan Koothapaakkam, Sourabh Bhattacharjee and Piyush Upadhyay
Qualcomm

Novel Model First Approach to Shift-Left Soft-Logic RTL Development on Intel Agilex FPGA for Data Centre IPU Design
Pravat Kishor Nayak, Vikrant Kapila, Pushpa Naik and Niketkumar Sharma
Intel

Design Contest

Winners

Ariane’s
Nikhitha Avula, Vinay Ratnala and Tarun Gupta
Indian Institute of Technology, Hyderabad

1st Runner up

Byte Brigade
Thishakya Bandara, Janindu Leelananda and Tharaka Kodithuwakku
University of Moratuwa, Sri Lanka

2nd Runner up

A3VLSI
Akshata D Rokhade, Amogh P Guddimath and K Venkat Anish
SDM College of Engineering and Technology, Dharwad