September 10-11, 2025

General Category

Best Paper

A Generic Configurable Error Injection Agent for On-Chip Memories
Niharika Sachdeva, Arjun Suresh Kumar, Anil Deshpande, Somasunder Kattepura Sreenath, Raviteja Gopagiri and Damandeep Saini
Samsung

Best Paper Runner-Up

Disciplined post silicon validation using ML intelligence
Amaresh Chellapilla and Pandithurai Sangaiyah
Intel

Formal Category

Best Paper

The Formal way – Fast and Accurate Hashing Algorithm Verification
Sini Balakrishnan, Sireesha Tulluri, Bindumadhava Ss and Disha Puri
Intel

Best Paper Runner-Up

OIL check of PCIe with Formal Verification
Vedprakash Mishra, Carlston Lim, Anshul Jain, Zhi Feng Lee, Jian Zhong Wang and Achutha Kirankumar V M
Intel

Best Poster

Best Poster Winner

A novel approach to reduce power consumption by bridging the gap between standalone functional scenario and real time scenario at SoC
Harshal Kothari, Eldin Ben Jacob, Sriram Kazhiyur Sounderrajan and Somasunder Kattepura Sreenath
Samsung

Best Poster Runner-Up

Reset Verification using Formal tool
Arju Khatun and Shiva Nagendar Pokala
Qualcomm

Notable Mentions (General Category)

Fault Injection Strategy to Validate ASIL-D Requirements of BMS Components
Praneeth Uddagiri, Veera Satya Sai Gavirni and Prashantkumar Ravindra
Analog Devices

An Efficient Methodology for Development of Cryptographic Engines
Sandesh Kanchodu, Tarun Rajendra Mittal, Sachin Kashyap and Subramanian Parameswaran
Samsung

Hackathon

Winners

Accelerated VLSItes
Nikhitha Avula, Vinay Ratnala and Tarun Gupta
Indian Institute of Technology, Hyderabad

Hackathon – 1st Runner up

Loader Logic
Priyanshu Gautam, Pritam Das and C Sanmukh Siva Sai
Indian Institute of Technology Kharagpur

Hackathon – 2nd Runner up

Project Sanam
Tushar Upadhyay, Yellur Vishal Rao and Ayush Kumar
Manipal Institute of Technology