WISH 2026 – Final Papers

Artificial Intelligence (AI)

Accelerating FPGA Physical Design Closure through Generative AI

Mrunal Sagare

Lattice Semiconductor

Agents on Rails: Deterministic AI for Chip Sign-Off

Abhishikta Pandit

META

ARTEMIS: A Multi-Agent AI System for Automated Root-Cause Analysis and Optimization of RTL Verification Workflows

Nupur Bhonge

AWS

From Specification to Proof: AI Agent Automation of AEP and FPV Workflows

Liya Liu

AMD

Formal Verification in the Age of Generative and Agentic AI

Pallavi Atha

Astera Labs

Keep Your Data, Share the Model: Federated Learning for Privacy-Preserving Hardware Anomaly Detection Across Distributed Fleets

Cynara Justine

Microsoft

Design Technology

Achieving Glitch Power Visibility via Delay-Shifted Analysis for Actionable Power Optimization

Neetu Mehta

AMD

Constraint-Driven Routing Closure for High-Frequency Mixed-Signal Designs

Rajashri Lakhotia

Lattice Semiconductor

Executable Interrupt Specifications: Managing Control-Plane Complexity in Disaggregated Server SoCs

Sindhu Amireddy

Microsoft

Process/Packing/Assembly Technology

Failure Analysis Challenges of Advanced Packaging

Susan Li

Marvell Technology

Mechanism-Driven Etch-Passivation Balance Engineering for LCDU Convergence Across Hybrid EUV Geometries

Jasmine Chang

Micron Technology

Split-Gate Inter-Poly Architecture for Electrical Gate Leakage and Mechanical Wafer Warpage Optimization in Trench FP-MOSFETs

Irene Monica Lasar

STMicroelectronics

System Technology

Making True Single-Stage EV Charging Practical: System-Level Redesign of a Dual-Active-Bridge On-Board Charger Enabled by Bidirectional GaN and Closed-Form Control

Sara Bourouga

STMicroelectronics

Trivializing Chip Reset Timing: A Novel Technique for SoC Backend Closure

Aradhana Kumari

STMicroelectronics

Under the Hood of Hardware Systems for Accelerator-Aware Workloads: From Lab to Fleet

Vidya Samyuktha

Microsoft

Test/Validation

Capping with Confidence: A Test & Validation Framework for Power Savings and a Lower Data-Center Carbon Footprint

Smitha Kashyap C

Microsoft

On-Device Cryptographic Key Provisioning for PSA Level 3 MCU: Secure Firmware Synthesis and Attestation

Lalitha Abraham

Synaptics

Scaling Electro-Optical Test and Reliability Validation of Silicon Photonics for AI and Hyperscale Data Centers

Tala Sidawi

Ayar Labs