September 10-11, 2025

General Category

Best Paper

Never too late with formal: Stepwise guide for applying formal verification in post-silicon phase to avoid re-spins
Anshul Jain, Aarti Gupta, Achutha Kirankumar V M, Bindumadhava Ss, Shivakumar S Kolar and Siva Gadey NV
Intel

2nd Best Paper

Transform your SoCFPGA into an Emulator
Manjari Gupta, Sahil Kadyan and Puneet Goel
NIT, Kurukshetra & CoVerify

ESL/SystemC/Virtual Prototyping

Best Paper

Robust UVM framework for detection of hardware security vulnerabilities in security sub systems and Cryptography IPs
Niharika Sachdeva, Arjun Suresh Kumar, Ravi Teja Gopagiri, Anil Deshpande and Somasunder Kattepura Sreenath
Samsung

2nd Best Paper

Development and Deployment of Vendor Neutral SystemC SoC Functional Virtual Prototype
Rajesh Jain, Navaneet Kumar and Gaurav Sharma
NXP

Best Poster

Best Poster Award

Methodology for Verification Regression Throughput Optimization using Machine Learning
Arun K.R, Preetham Lakshmikanthan, Ashwani Aggarwal and Sundararajan Ananthakrishnan
Samsung & Cadence

2nd Best Poster Award

Enhancing Productivity in Formal Testbench Generation for AHB based IP’s
Shubham Goel, Senthilnath Subbarayan and Sandeep Kumar
Qualcomm

Notable Mentions

Level Four Formal Verification with End-to-End Checkers and Abstractions
Ping Yeung
Oski Technologies

A Methodology for Evaluating SI Artefacts in DDR4-3DS PHY using Channel Modelling
Anil Deshpande and Shivani Maurya
Samsung

Generic Solution for NoC Design Exploration
Tushar Garg and Ranjan Mahajan
Synopsys