Contributors
A
Engineering Presentation Mixed Transistor Design Closure
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation Xchip: A Guardrailed Agentic Gen-AI Front-End Flow from Intent to GDSII
Engineering Presentation Beyond Hierarchical Static Verification: Smart Stubbing for Next-Gen AI Accelerators
Engineering Presentation Design Spec to Die-Size Estimation Using ML Based Framework for Automotive SoCs
Engineering Presentation Activity Reloaded: Joules Flash Replay - A Methodology for Accurate, Delay-Based Activity Generation for Driving Optimization and Power Sign-off
Engineering Presentation From Concept to PPA Confidence - Methodology for Rapid RTL Evaluation and Signoff with Joules RTL Design Studio.
Engineering Presentation Strong Foundations Lead to High Impact Gains
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Engineering Special Session Role of FPGAs in Emulation and Prototyping Systems
Engineering Presentation ECO Strategy for BIG DIE SOC Convergence
Engineering Presentation Toward an Open Chiplet Ecosystem: Arm® Foundation Chiplet System Architecture
Engineering Special Session A Unified Agentic Architecture for Rapid Deployment of Zero-Hallucination GenAI Applications
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Engineering Presentation Breaking the O(N^2) Barrier: AI-Assisted Linear-Time Formal Verification of Deep Pipeline Buffers
Engineering Presentation Boosting IP Quality and Productivity Through Ipdelta Profile-Driven Change Detection
Engineering Presentation Progress-Based Timeout Debug for Scalable SoC Verification
Research Special Session Toward Agentic Solutions for DRC Challenges in Digital VLSI Design
Engineering Presentation Breaking the Simulation Wall – Practical Acceleration for Pre-Silicon Validation
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Engineering Presentation AI-Accelerated Signoff Verification and Glitch Analysis for Single and Multibit Level Shifters
Engineering Presentation Accelerating Memory Cache Verification with AI-Powered Batch Flow Methodology
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Engineering Presentation A Novel Methodology for Automated LVS Rule Deck Verification: Truth Table and Device Extraction Qualification
Engineering Presentation Real-Time Local Layout Effects Analysis for Advanced Design Optimization
Engineering Presentation Physical Signoff at Scale: Tackling TSV, Interposer, and ESD in 3DIC Systems
Research Manuscript BREW-RC: Bit-Exact Recovery of ECCs from Write Timing in ReRAM Crossbars
Research Manuscript Sparsity- and Tolerance-Aware Temporally Redundant Neural Networks
Research Manuscript Shared Logic Unleashed: Multiple-Node Boolean Optimization for Next-Gen Synthesis
Research Manuscript Unlocking Automated Datapath Gating via Machine Learning Power Prediction
Engineering Presentation Design Verification Automation (DVA) for PCB Signal and Power Integrity
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Research Manuscript Epicell: Electro-Physical Co-Modeling for Standard Cell PPA Prediction
Engineering Poster Gladiator Agile Silicon: A Gitops-Based PD Orchestration Framework Enabling <10-Person PD Team to Deliver CPO Tapeouts
Research Manuscript RAM-CGRA: Reachability-Aware Mapping for CGRAs
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Research Manuscript Light-Bound Transformers: Hardware-Anchored Robustness for Silicon-Photonic Computer Vision Systems
Research Manuscript RM Poster Session Two
Research Special Session Skip the Commute: Near-Memory and Near-Sensor Intelligence for Edge AI Systems
Engineering Presentation Systematic Methodology for GLS Shift-Over Using Timing Constraint Verification
Research Special Session Co-Designed Compute Memories for Ultra-Efficient DNN Inference
Research Manuscript Beyond GPUs: Next-Generation Architectures for Modern AI Workloads
Research Manuscript LUNA: LUT-Based Neural Architecture for Fast and Low-Cost Qubit Readout
Research Manuscript RM Poster Session One
Engineering Presentation From Design to Defense: Pioneering Pre-Silicon Leakage Detection for Novel ECC Crypto Core
Engineering Presentation A Hybrid Simulation and Formal Verification Approach for Exhaustive Interrupt and Status Flag Verification
Engineering Presentation Enhancing UVM RAL for Secure and Privileged Flash Memory Interface Verification Using Cadence AMBA VIP
Engineering Presentation In-Situ Architecture for Detecting and Mitigating Off-Chip Interface Attacks
Engineering Presentation No More Blind Spots: RTL Modeling of Metastability for CDC Verification
Engineering Poster Gladiator Faster Database Readiness for Physical Verification: With Calibre Design Enhancer PVR
DAC Pavilion Panel Is EDA AI Delivering on Its ROI Promise?
Research Special Session Co-Designed Compute Memories for Ultra-Efficient DNN Inference
Research Manuscript Greenllm: SLO-Aware Dynamic Frequency Scaling for Energy-Efficient LLM Serving
Engineering Presentation Differential Validator: Ensuring SoC ROM to Hierarchical Blocks Node Voltage Integrity
Engineering Presentation Adaptive AI and Additive AI Techniques for High-Sigma Standard Cell Verification
Research Manuscript Sparsity- and Tolerance-Aware Temporally Redundant Neural Networks
Research Manuscript RM Poster Session Seven
B
Research Manuscript Hot Chips & Cool Models: AI Turns Up the Heat on Silicon Design
Research Manuscript RM Poster Session One
Engineering Presentation ECO Strategy for BIG DIE SOC Convergence
Engineering Presentation Novel Approach to Signoff Large MRAM Memory IP Using Hierarchical Flow
Engineering Presentation Google's Faster and Earlier Chip Finishing with Seamless Power Grid Enhancement Integration
Engineering Presentation Performance Boosting DTCO Methodology for 1-to-1 Metal-Gate Pitch Ratio
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
Research Manuscript Adaptive Spiking Neural Networks for Real-Time Multi-Object Detection Tasks
Engineering Presentation Formal Verification: Prove It. Don’t Hope It.
Engineering Presentation AI-Enabled High-Fidelity Power Amplifier Behavioral Modeling with Commercial EDA Tools
Research Manuscript RM Poster Session Six
Research Manuscript Structuring the Blueprint: Scalable Partitioning and Early-Stage Floorplanning
Research Special Session Content Meets Compute: How Disney+ Approaches Next-Gen XR Hardware Platforms
Engineering Presentation Automated Workload Analysis for Dynamic Voltage Drop Optimization and Faster Power Integrity Signoff in Complex SoC Designs
Engineering Presentation Scalable EMIR Signoff for Very Large SoCs Using Reduced Order Modelling
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
Engineering Presentation Formally Validating Industry Standard BCH‑ECC/CRC Codes – A Step by Step Recipe
Engineering Presentation A Compact Digital IP for FMCW Chirp Linearity Monitoring in Automotive Radar Systems
Engineering Presentation An Adaptive Dynamic Power Reduction Technique for Digital Filters
Engineering Special Session Digitally Assisted Analog Techniques for Next‑Generation Data Converters, Test, and Clocking
Engineering Presentation In-Situ Architecture for Detecting and Mitigating Off-Chip Interface Attacks
Engineering Presentation No More Blind Spots: RTL Modeling of Metastability for CDC Verification
Engineering Presentation Free Hand Routing- Sketch to Layout
Engineering Presentation From Design to Defense: Pioneering Pre-Silicon Leakage Detection for Novel ECC Crypto Core
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Research Manuscript RM Poster Session Eight
Engineering Presentation Cognitively Guided EM-Aware Routing Approach for Efficient Layout Implementation
Engineering Presentation Matching Constraint Driven Synchronous Array Implementation for High-Performance ADCs
Engineering Presentation Beyond Hierarchical Static Verification: Smart Stubbing for Next-Gen AI Accelerators
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Engineering Presentation A Compact Digital IP for FMCW Chirp Linearity Monitoring in Automotive Radar Systems
Engineering Presentation An Adaptive Dynamic Power Reduction Technique for Digital Filters
Research Manuscript Agent-Per-Qubit: Automated Qubit Placement for Fault-Tolerant Quantum Computing
Engineering Presentation Beyond Hierarchical Static Verification: Smart Stubbing for Next-Gen AI Accelerators
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Engineering Presentation A Unified QA Framework for Intel Library Validation Using Siemens Solido Crosscheck
Engineering Poster Gladiator A Method to Automate the Conversion of .def File into .save.io One to Speed up the BE Digital Flow in Analog-on-Top Designs
Engineering Presentation OoB Generator: A Novel Method to Improve the Productivity of RTL-to-Layout Using Python
Research Manuscript Memory That Thinks: Scalable, Reliable, and Secure Compute-in-Memory Systems
Engineering Presentation Automated Verification and Performance Analysis for Chiplets
Research Manuscript Architectures for Sparse, Adaptive, and Scalable Acceleration
Research Manuscript RM Poster Session Three
Engineering Presentation Optimizing Digital SOC Designs, One Cell at a Time Using AI Transistor-Level Sizing
Research Special Session Skip the Commute: Near-Memory and Near-Sensor Intelligence for Edge AI Systems
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Next-Generation 3DIC STCO: AI-Enabled PPA and Cost Optimization Through IEEE P3537 3Dblox
Engineering Presentation A Mixed-Domain Modeling Approach for Hatched Ground Planes in 3D Chiplet Die-to-Die Interconnect
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Research Manuscript Exploiting Movable Logical Qubits for Lattice Surgery Compilation
Research Manuscript Network Design for Wafer-Scale Systems with Wafer-on-Wafer Hybrid Bonding
Engineering Presentation Bridging Hardware-Software Abstraction In UVM Verification
Engineering Presentation Precision in Practice: Advanced Verification Techniques for Modern Silicon
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Engineering Presentation Fully Automated On‑Chip Inductor Synthesis for High‑Frequency VCO with ML Based Optimization Flow
Engineering Presentation Leveraging AI/ML Techniques for Memory Circuit Performance Optimization: Insights from ASO.ai
Engineering Presentation Cognitively Guided EM-Aware Routing Approach for Efficient Layout Implementation
Engineering Presentation Multi-Agent Generative AI Pipeline for Assisting in Design Verification
Exhibitor Forum SYNOPSYS: How Silicon Startups Are Addressing the AI Memory Gap
Engineering Presentation Multi-Agent Automated Formal Verification for Automative Applications
Engineering Presentation ARTEMIS: Agentic AI for EDA
Engineering Presentation Accelerating Full Flat EMIR Sign-Off in Multi-Billion Instance
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
Research Manuscript Scalable Reliability Assessment of DNNs Through Simultaneous Fault Injection
Engineering Presentation ENHANCED AUTOMATION FOR GENERATING LOGIC-OPTIMIZATION ECOs (EAGLE) IN SIGNOFF
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation Optimizing Digital SOC Designs, One Cell at a Time Using AI Transistor-Level Sizing
Engineering Presentation A Novel Automated Methodology Python Driven for Test Coverage Improvement via Fault Injection and Simulation
Engineering Poster Gladiator A Method to Automate the Conversion of .def File into .save.io One to Speed up the BE Digital Flow in Analog-on-Top Designs
Engineering Presentation OoB Generator: A Novel Method to Improve the Productivity of RTL-to-Layout Using Python
Engineering Presentation A Soft-Microcode Engine to Power the Next Wave of Edge Intelligence
Engineering Presentation AI-Accelerated Signoff Verification and Glitch Analysis for Single and Multibit Level Shifters
Additional Meeting Agentic AI in EDA: Who’s in Control?
Engineering Presentation The New Era of Digital Verification: a Revolution Driven by Agentic AI Acceleration
Engineering Presentation Multi-Agent Generative AI Pipeline for Assisting in Design Verification
Research Manuscript Network Design for Wafer-Scale Systems with Wafer-on-Wafer Hybrid Bonding
Engineering Presentation Agentic Time-Travel Debugging for HLS Code
United States of America
Research Manuscript Stateful Embedded Fuzzing Using Peripheral-Accurate Systemc Virtual Prototypes
Research Manuscript Fast, Furious, and Fault-Tolerant: Accelerating the Generative Grind
Research Manuscript GREEN: Towards Scalable Energy-Efficient Workload Scheduling and Placement in the Cloud
Research Manuscript RM Poster Session Eight
Research Manuscript Shortcircuit: Alphazero-Driven Generative Circuit Design
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Special Session Advancements in Emulation and Prototyping for Semiconductor: Hardware Tools, Challenges, and FPGA Solutions
Engineering Presentation Designing Power- and Area-Efficient Custom NPUs for Edge AI
Engineering Presentation Multi-Cycle Interconnect Synthesis in Small to Large Cutting Methodology
Research Manuscript RM Poster Session Eight
Research Manuscript Dropping Multiple Literals per SAT Call in IC3 Model Checking
Engineering Presentation Automatic SDC Creation for Static Timing Analysis
Research Manuscript Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
Research Special Session Local AI, Models-as-Media, and the Future of Entertainment
Research Manuscript TRAM: Training Approximate Multiplier Structures for Low-Power AI Accelerators
Engineering Poster Gladiator ML-Based Sigma Av–aware Switch Cell Optimization
C
Engineering Presentation Deep Reinforcement Learning Paradigm for Analog Design Automation
Engineering Presentation Efficient IR-Aware Powergrid Optimization
Engineering Presentation Achieving High-Integrity Safety for 360-Degree Automotive Display Soc's RETIME-IP: A Static Analysis Approach to ASIL-D Compliance
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript Towards Practical Live Migration for Heterogeneous Confidential Virtual Machines
Research Manuscript FBS: Accelerating CNN Inference over RNS-CKKS with Fewer Bootstrapping Sparsity
Research Manuscript PRS: An Efficient Parallel SAT Framework
Research Manuscript Parallel Combinational Equivalence Checking via Sweeping-Based Task Scheduling
Research Manuscript RM Poster Session Nine
Research Manuscript FBS: Accelerating CNN Inference over RNS-CKKS with Fewer Bootstrapping Sparsity
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Engineering Presentation AI-Enabled High-Fidelity Power Amplifier Behavioral Modeling with Commercial EDA Tools
China
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript Autonomous Synthesis and Intelligent Optimization for Analog and RF Circuits
Research Manuscript RM Poster Session Nine
Research Manuscript Dynamic-Cost Area Recovery for Fracturable LUT-Based FPGAs
Research Manuscript Lhgstore: An In-Memory Learned Graph Storage for Fast Updates and Analytics
Research Manuscript Lhgstore: An In-Memory Learned Graph Storage for Fast Updates and Analytics
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation AI-Enabled EDA Cloud Infrastructure and Design Optimization for Next-Generation Semiconductor Design
Research Manuscript CARAMEL: Boosting Device Utilization in Control Flow Auditing
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
DAC Pavilion Panel What Are VCs Looking for at DAC?
Research Manuscript RM Poster Session Seven
Research Manuscript RM Poster Session Four
Research Manuscript Silicon Under Siege: Hardware-Rooted Attacks and Defenses in Modern SoCs
Research Manuscript RM Poster Session Eight
Engineering Presentation AI-Enabled EDA Cloud Infrastructure and Design Optimization for Next-Generation Semiconductor Design
Engineering Presentation Static Verification: The Sentinel Guarding RTL Integrity
Engineering Presentation Solving Memory Subsystem Verification Challenges for Multi-Instance Designs
Engineering Presentation Pipeline-Based Denial of Service Attacks on Embedded RISC-V Core-Based Systems
Engineering Presentation Novel Approach to Signoff Large MRAM Memory IP Using Hierarchical Flow
Engineering Presentation A Simple and Predictable Solution for Early Full-Chip LVS Convergence
Engineering Presentation Optimizing Reliability EM Sign-Off for 2nm Mobile SoCs
Research Manuscript Ihyperg: Incremental Hypergraph Partitioning on GPU
Research Special Session Toward Agentic Solutions for DRC Challenges in Digital VLSI Design
Research Manuscript Ihyperg: Incremental Hypergraph Partitioning on GPU
Research Manuscript Targeted Bit-Flip Attacks on LLM-Based Agents
Research Manuscript PRISM: Priority Aware Shared Scale Microscaling Format for 4-Bit Quantization
Engineering Poster Gladiator Multi Level EMFI Analysis Flow Using Electromagnetic Field Solver and Chip PDN Model
Engineering Presentation Accurate Impact Modeling for Threshold Voltage Mismatch of Transistors in Same Chip
Research Manuscript Active Memory: Breaking the Data Movement Wall with Cognitive Storage
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript Adaptive Read Retry Table Extension for Enhanced Data Reliability in 3D NAND Flash Memory
Research Manuscript Flashhd: A Flash-Based In-Storage Hyperdimensional Computing Framework for Hierarchical Sequence Matching
Research Manuscript RM Poster Session Nine
Engineering Presentation Custom Implementation of High-Speed Digital Blocks Using Virtuoso Studio
Engineering Presentation Breaking the Simulation Wall – Practical Acceleration for Pre-Silicon Validation
Engineering Poster Gladiator Sigma Profiling: Profiling Solution for Power Integrity Signoff
Exhibitor Forum A Multi-AI-Agent Orchestration Methodology for High-Quality Code
Research Manuscript Inferweave: Efficient LLM Inference on the MT-3000 Processor
Research Manuscript TOPCELL: Topology Optimization of Standard Cell via LLMs
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Research Manuscript Fast, Smart, and Agentic: Accelerated Verification with Fuzzing, RL, and LLMs
Research Manuscript GREEN: Towards Scalable Energy-Efficient Workload Scheduling and Placement in the Cloud
Research Manuscript RM Poster Session Three
Research Manuscript Schemacoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Research Manuscript Amoeba: Runtime Tensor Parallel Transformation for LLM Inference Services
Hong Kong
Research Manuscript AccDRC: FPGA Acceleration for VLSI DRC with Cell-Aware Layout Partitioning
Research Manuscript Area-Optimal and Routability-Driven Layout Synthesis for Multi-Row Complementary-FET Standard Cells
Research Manuscript Etherssd: An In-Storage Ethereum Analytics Platform with Minimized I/O and Authentication Overhead
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
Research Manuscript PIMGRAG: A Heterogeneous PIM Architecture for Graph-Based Retrieval-Augmented Generation
Research Manuscript SpecANNS: Accelerating Graph-Based Approximate Nearest Neighbor Search with Speculative In-Storage Computing
Research Manuscript TierANNS: Scalable Graph-Based ANNS with CXL-Enabled Tiered Data Placement
Research Manuscript Hero: Adaptive Orchestration of Retrieval-Augmented Generation on Heterogeneous Mobile SoC
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Research Manuscript Cupilot: A Strategy-Coordinated Multi-Agent Framework for CUDA Kernel Evolution
Research Manuscript Shortcircuit: Alphazero-Driven Generative Circuit Design
Engineering Presentation UCIe-A 64GT/s High Speed Integrated Design and SI/PI Comparison of CoWoS-S/L/R
Research Manuscript Onyx: Efficient Transaction Processing with Real Processing-in-Memory Prototypes
Research Manuscript Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
Research Manuscript BSPDN-Elite: A Comprehensive Framework for Optimizing Timing, Power and Routing Resources in BSPDN Designs
Research Manuscript Design Technology Co-Optimization for Network on Chip in High Performance CPUs at 3nm Node Using Monolithic 3D and Backside Interconnect Technologies
Research Manuscript Flexicts: CPPR-Aware 3D Clock Tree Synthesis for Face-to-Face Bonded ICs
Research Manuscript Flowplace: Flow Matching for Chip Placement
Research Manuscript How Can Reinforcement Learning Achieve Expert-Level Placement?
Research Manuscript Parallel Combinational Equivalence Checking via Sweeping-Based Task Scheduling
Research Manuscript Energyhdc: Intermittent Hyperdimensional Inference on Energy-Harvesting IoT
Research Manuscript RM Poster Session Two
Research Manuscript Streamlining Silicon: From Real-Time Scheduling to Efficient GPU Execution
Research Manuscript Alphaplacer: Analog Placement Enhanced by Monte Carlo Tree Search
Research Manuscript Diffsp: Differentiable Sequence Pair-Based Analog Placement
Research Manuscript GRACE: A Ground Plane Generation and Re-Routing Aware Co-Design Engine
Research Manuscript CO-MAC: A Center-Out Ordered Stochastic MAC for Low-Latency Inference
Research Manuscript Active Memory: Breaking the Data Movement Wall with Cognitive Storage
Research Manuscript Intelligent Fetch & Match Architectures
Research Manuscript CODA: A Computation-Data Decoupled Dataflow Paradigm for DNN Computing on NPUs
Research Manuscript Efficient LLM and MoE Inference on Specialized Hardware
Research Manuscript Hero: Adaptive Orchestration of Retrieval-Augmented Generation on Heterogeneous Mobile SoC
Research Manuscript Hybrid PIM-Oriented Architecture-Dataflow Co-Design for Heterogeneous LLM Inference
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Research Manuscript MIRAGE: Runtime Scheduling for Multi-Vector Image Retrieval with Hierarchical Decomposition
Research Manuscript RM Poster Session Four
Research Manuscript SpArC: Sparse Tensor Accelerator Compilation with Scheduling and Mapping
Engineering Presentation Accurate Impact Modeling for Threshold Voltage Mismatch of Transistors in Same Chip
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Next-Generation 3DIC STCO: AI-Enabled PPA and Cost Optimization Through IEEE P3537 3Dblox
Research Manuscript OpenSUN: An Open Platform for Exploring Scale-Up Network Systems
Research Manuscript Flashfps: Efficient Farthest Point Sampling for Large-Scale Point Clouds via Pruning and Caching
Research Manuscript PRISM: Priority Aware Shared Scale Microscaling Format for 4-Bit Quantization
Research Manuscript REFLEX: Rewrite-Free Row-Aligned Sparse Attention for Efficient LLM Execution on PIM
Engineering Special Session The Heterogeneous Future of Agentic AGI: Challenges and Opportunities!
Research Manuscript Pipegs: Unlocking 3DGS Pipeline Parallelism via Hierarchical Reuse and Dynamic Partitioning
Research Manuscript SpRDA: An Efficient Sparse Accelerator for Robotics Diffusion Model
Research Manuscript AI Graces the Cell Party: Transformers, LLMs and Zero Drama Extraction
Research Manuscript Streamlining Silicon: From Real-Time Scheduling to Efficient GPU Execution
Research Manuscript Pipegs: Unlocking 3DGS Pipeline Parallelism via Hierarchical Reuse and Dynamic Partitioning
Research Manuscript SpRDA: An Efficient Sparse Accelerator for Robotics Diffusion Model
Research Manuscript Knowledge-Driven Hybrid SSD Management Enhanced by Fine-Tuned LLMs
Research Manuscript PRS: An Efficient Parallel SAT Framework
Research Manuscript Parallel Combinational Equivalence Checking via Sweeping-Based Task Scheduling
China
Research Manuscript L2L: Logic to Layout Exploration of Standard Cell Library Design
Research Manuscript Optimizing Dynamic-Shape Neural Networks: A Unified Approach to Adaptive Tuning
Research Manuscript Celle: Automated Standard Cell Library Extension via Equality Saturation
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Engineering Presentation An Adjustable Length Compression Method for MBIST Repair Information
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Research Manuscript CHiRM-DSE: CodeLLM-Based Hierarchical and Rule-Mining Guided DSE for FPGA Accelerators
Research Manuscript Efficient HLS Accelerator Floorplan on Multi-Die FPGA Aided by Graph Neural Networks
Research Manuscript SpArC: Sparse Tensor Accelerator Compilation with Scheduling and Mapping
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
Research Manuscript Intelligent Systems for Physical & Structured Worlds
Research Manuscript LUNA: LUT-Based Neural Architecture for Fast and Low-Cost Qubit Readout
Research Manuscript RM Poster Session Nine
Research Special Session Toward Agentic Solutions for DRC Challenges in Digital VLSI Design
Research Manuscript Architecting the Future: Cross-Layer Breakthroughs in Compute and Memory
Research Manuscript RM Poster Session Three
Engineering Presentation Advancing Silicon Lifecycle Management with Embedded Trace
Research Manuscript CO-MAC: A Center-Out Ordered Stochastic MAC for Low-Latency Inference
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Research Manuscript Test Point Insertion with ATPG-Free Self-Supervised Learning
Research Manuscript Semi-Virtual Addressing to Enhance Memory Safety on Microcontrollers
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
Engineering Poster Gladiator LLM-Aided Cell Clustering for Placement Optimization of DRAM Peripheral Circuits
Research Manuscript Robust and Trusted AI Systems: Attacks, Defenses, and Hardware Reliability
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Engineering Poster Gladiator LLM-Aided Cell Clustering for Placement Optimization of DRAM Peripheral Circuits
Research Manuscript GTX: Graph Transformer for Parasitic Extraction on Analog Circuits
Research Manuscript NIAQ: Adaptive Non-Ideality-Aware Qubit Readout for Long-Term Accuracy
Engineering Presentation Architectural Formal Verification of Configurable Address Translation Logic for Early Bug Exposers
Engineering Presentation Efficient Power Management in USB4 Routers
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Research Manuscript EASY-ZKP: An End-to-End FPGA-Accelerated System for Zero Knowledge Proofs
Engineering Presentation Flexible & Scalable Network Modeling for AI/HPC Network Verification
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Engineering Presentation Breaking the Simulation Wall – Practical Acceleration for Pre-Silicon Validation
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
DAC Pavilion Panel Agentic AI in EDA: Who's in Control?
Additional Meeting LLM Benchmarking for Chip Design – Live Demos and Strategic Outlook
Engineering Presentation Automated System for FPGA-Based SoC Prototyping
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Research Manuscript Quantum Circuit Synthesis Using an Exact T Library
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Engineering Special Session Model-Based Systems Engineering (MBSE) for Aerospace & Defense
Engineering Presentation Agentic Time-Travel Debugging for HLS Code
Engineering Presentation Early Thermal Analysis and Silicon Correlation for Face-to-Face 3DIC Physical Design
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference
Research Manuscript Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
Research Manuscript Exploiting Dependency and Parallelism: Real-Time Scheduling and Analysis for GPU Tasks
Research Manuscript Operator-Level Acceleration for Sparse 3D Object Detection
Research Manuscript DRΛMA: Detailed Routing by a Versatile Maze Routing Algorithm
Research Manuscript CODA: A Computation-Data Decoupled Dataflow Paradigm for DNN Computing on NPUs
Engineering Presentation AI-Enabled High-Fidelity Power Amplifier Behavioral Modeling with Commercial EDA Tools
Engineering Presentation Automated System for FPGA-Based SoC Prototyping
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation Morph-Inspect: Structural Assurance for Inserted Logic
D
Research Manuscript Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Engineering Presentation A Simple and Predictable Solution for Early Full-Chip LVS Convergence
Engineering Presentation A Hybrid SRAM-DRAM Memory Architecture for Ultra-Low-Power Wakeup in SoCs
Engineering Presentation A Service-Aware Energy-Efficient DVFS Framework for System-on-Chip Architectures
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Engineering Presentation Multi-Agent Framework for Cross-Boundary Optimization in Hierarchical Floor-Plan Aware Synthesis
Engineering Presentation Accurate Impact Modeling for Threshold Voltage Mismatch of Transistors in Same Chip
Engineering Presentation Slack-Exploiting Load Splitting for IR-Drop Mitigation
Engineering Presentation Local Layout Effect Coverage Check Using Artificial Neural Network-Based Surrogate Models
Research Manuscript A Differentiable Approach to Task Graph Partitioning: A Case Study in RTL Simulation
Research Manuscript Ihyperg: Incremental Hypergraph Partitioning on GPU
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Engineering Presentation Using ML-Assisted Side-Channel Analysis in Simulation: A Case Study on AES-GCM
Engineering Presentation CDG-DNN: Scalable Test Template Generation Using Adaptive Neural Architecture for Industry Class CDG Hardware Verification
Engineering Presentation STEER: Simulation of Templates Engine for Efficient Resource Usage
Engineering Special Session Challenges and Solutions in the next-Generation Emulation and Prototyping Solutions
Research Manuscript Fast, Smart, and Agentic: Accelerated Verification with Fuzzing, RL, and LLMs
Engineering Special Session Role of FPGAs in Emulation and Prototyping Systems
Engineering Special Session Role of HW Based Tools like Emulation and Prototyping in Semiconductor Design Methodology
Engineering Presentation Optimizing GPU Clock Power: Exploring Register Array Folding and Its Trade-Offs
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Engineering Poster Gladiator An AI-Enhanced Web-Based Real-Time Analytics & Prediction Platform for ASIC Physical Design (PD) Flows
Engineering Presentation Static Timing Analysis (STA) Platform: An AI-Augmented Web System for Scalable Static Timing Analysis and Optimization
Engineering Presentation TAWT: Towards Autonomous Wrapper Tuning
Research Manuscript In-Memory ADC-Based Nonlinear Activation Quantization for Efficient In-Memory Computing
Research Manuscript Light-Bound Transformers: Hardware-Anchored Robustness for Silicon-Photonic Computer Vision Systems
Research Special Session Skip the Commute: Near-Memory and Near-Sensor Intelligence for Edge AI Systems
Engineering Presentation ARTEMIS: Agentic AI for EDA
Engineering Presentation Advanced Automation for DC Die Generation and Verification
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Research Manuscript CARAMEL: Boosting Device Utilization in Control Flow Auditing
Engineering Presentation BIMEM-RAG: Reinforced Dual Memory Retrieval with Bidirectional Reasoning for RTL Synthesis and Summarization
Engineering Poster Gladiator Cost-Based Partial Subgraph Matching for Circuit Pattern Recognition
Engineering Presentation Graph Isomorphism for Explainable Transistor-Level Circuit Comparison
Research Manuscript Sparsity- and Tolerance-Aware Temporally Redundant Neural Networks
Engineering Presentation Efficient Power Management in USB4 Routers
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Research Manuscript WSC-Cost: An Accurate Cost Modeling Framework for Wafer-Scale Chips
Research Manuscript Marlin: I/O-Efficient Prefix KV Cache Retrieval for Long-Prefix LLM Serving
Research Manuscript FBS: Accelerating CNN Inference over RNS-CKKS with Fewer Bootstrapping Sparsity
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Engineering Presentation Xchip: A Guardrailed Agentic Gen-AI Front-End Flow from Intent to GDSII
China
Engineering Presentation Multi-Agent Generative AI Pipeline for Assisting in Design Verification
Engineering Presentation From Bottleneck to Breakthrough! Accelerating Circuit Verification Beyond Expectations
Engineering Poster Gladiator Sigma Profiling: Profiling Solution for Power Integrity Signoff
Engineering Presentation Modeling and Optimization of Power MOSFET Device Layouts with Optislang Tool
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Additional Meeting IEEE 2416 Working Group Meeting: Kickoff for Next Revision
Engineering Presentation Efficient Power Modeling of Multi-Domain Clock Gating Circuits
Research Manuscript Predictable Precision: Resilience and Timing in the Era of AI
Engineering Presentation Automated Validation of Liberty Models
Engineering Presentation Mixed Transistor Design Closure
Research Manuscript LUNA: LUT-Based Neural Architecture for Fast and Low-Cost Qubit Readout
Research Manuscript Pillarsparse: Rethinking Unstructured Sparse Formats for Tensor Cores
Engineering Presentation Meeting EDA Workload Capacity Needs with AWS for Siemens' Solido Custom IC Technologies
Engineering Presentation Automatic SDC Creation for Static Timing Analysis
Research Manuscript RM Poster Session Six
Research Manuscript Revolutionizing Synthesis Flows
Research Manuscript Flowplace: Flow Matching for Chip Placement
Engineering Presentation Accelerating IR and Timing Convergence with Revolutionary IR-ECO
Research Manuscript NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference
Research Manuscript COLA: Enabling Low-Latency Reads for Flash-Based SSDs via Code Length Adaptation
Engineering Presentation Novel Approach to Signoff Large MRAM Memory IP Using Hierarchical Flow
Research Manuscript NIAQ: Adaptive Non-Ideality-Aware Qubit Readout for Long-Term Accuracy
Research Manuscript Raise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
Research Manuscript Intelligent Fetch & Match Architectures
Research Manuscript RM Poster Session Two
Engineering Presentation PDN Improvement Strategies for Adaptive Multi-Package MCU Chips
Research Manuscript Accelcim: Systematic Dataflow Exploration for SRAM Compute-in-Memory Accelerator
Engineering Presentation Design Rule Checking for Rigid-Flex PCB
Engineering Presentation Optimizing Digital SOC Designs, One Cell at a Time Using AI Transistor-Level Sizing
Engineering Presentation Hierarchical IP Block Resizing on the Fly
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
DAC Pavilion Panel Is EDA AI Delivering on Its ROI Promise?
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript NIAQ: Adaptive Non-Ideality-Aware Qubit Readout for Long-Term Accuracy
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
Research Manuscript PRISM: Dynamic Primitive-Based Forecasting for Large-Scale GPU Cluster Workloads
Research Manuscript Parallel Combinational Equivalence Checking Through Factored Form Sharing
Research Manuscript GRACE: A Ground Plane Generation and Re-Routing Aware Co-Design Engine
Engineering Presentation ENHANCED AUTOMATION FOR GENERATING LOGIC-OPTIMIZATION ECOs (EAGLE) IN SIGNOFF
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation Modeling and Optimization of Power MOSFET Device Layouts with Optislang Tool
Engineering Presentation Efficient Power Modeling of Multi-Domain Clock Gating Circuits
Engineering Special Session Gaps Between MBSE and Semiconductor Design in Aerospace and Defense, Will They Ever Connect?
Engineering Presentation Breaking the Simulation Wall – Practical Acceleration for Pre-Silicon Validation
Engineering Presentation Architectural Coverage Analysis and ML-Based Automated-Test Generation
Research Manuscript From SAT to IC3: Modern Proof Techniques for Hardware Correctness
DAC Pavilion Panel Is EDA AI Delivering on Its ROI Promise?
E
Engineering Presentation Novel Methodology to Replace Openaccess Inputs for Hierarchical Chip Construction
Research Special Session Co-Designed Compute Memories for Ultra-Efficient DNN Inference
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Engineering Presentation Design Verification Automation (DVA) for PCB Signal and Power Integrity
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation FPGA-to-ASIC Conversion via Hierarchical Wrapping
Engineering Presentation Morph-Inspect: Structural Assurance for Inserted Logic
Research Manuscript Generative AI and Graph-Based Learning for Next-Gen Circuit & Device Simulation
Research Manuscript RM Poster Session Two
Engineering Poster Gladiator Agile Silicon: A Gitops-Based PD Orchestration Framework Enabling <10-Person PD Team to Deliver CPO Tapeouts
F
Research Manuscript RM Poster Session Eight
Research Manuscript Cachence: Fine-Grained Cache Partitioning in Both Time and Space
Research Manuscript Hierarchical Boundary Recovery: Overcoming Synthesis Obscurity via SAT Sweeping
Research Manuscript Marlin: I/O-Efficient Prefix KV Cache Retrieval for Long-Prefix LLM Serving
China
Research Manuscript Parallelizing Complementary Approximate Reachability
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript The Edge-Lord Chronicles: Tiny Gestures, Big LLMs, and Cluster Chaos
Research Manuscript PLONK-Hammer:breaking Input Privacy of PLONK Proving Systems via Rowhammer
Research Manuscript Architectures for Sparse, Adaptive, and Scalable Acceleration
Research Manuscript LUNA: LUT-Based Neural Architecture for Fast and Low-Cost Qubit Readout
Engineering Presentation ARTEMIS: Agentic AI for EDA
Engineering Presentation Maximize RoI Through Glitch Power Optimization at Early Design Stage
DAC Pavilion Panel What Are VCs Looking for at DAC?
Research Manuscript From Analog to 3D Packaging: Enabling Routing and Clocking for Next-Generation Systems
Research Manuscript RM Poster Session Six
Research Manuscript Ciphershield: Safeguarding DNN Inputs from Ciphertext Side-Channels in TEE
Research Manuscript WINNER: A Wireless In-Vivo/ex-Vivo Runtime Analyzer for Intermittent Computing
Research Manuscript Placing the Future Beyond Cells: From Transistors to 3D Integration
Research Manuscript RM Poster Session Nine
Engineering Poster Gladiator Agile Silicon: A Gitops-Based PD Orchestration Framework Enabling <10-Person PD Team to Deliver CPO Tapeouts
Research Manuscript Edgesc: Universal Stochastic Computing Architecture for Efficient Edge Detection
Research Manuscript Slcross: Cross-Component System-Level Cache Side-Channel Attacks on Apple M2 SoC
Research Manuscript Scalable Reliability Assessment of DNNs Through Simultaneous Fault Injection
Research Manuscript Interconnect-Driven System Architecture Innovation
Research Special Session Orbitbrain: Secure and Reliable Chiplet Architecture for Space Edge AI and Orbital Data Centers
Research Manuscript RM Poster Session Five
Engineering Presentation Life at the Edge: No Faults and Perfect Timing
Engineering Presentation Early DEF-Based Hierarchical Power Grid Shorts Analysis
Engineering Presentation Automatic SDC Creation for Static Timing Analysis
DAC Pavilion Panel From RTL to Reality: Building Security into the Silicon Lifecycle
Engineering Poster Gladiator Faster Database Readiness for Physical Verification: With Calibre Design Enhancer PVR
Engineering Presentation Boosting IP Quality and Productivity Through Ipdelta Profile-Driven Change Detection
Research Manuscript ATOM-3D: Analytical Three-Dimensional Orientation-Aware Mixed-Size Placer
Research Manuscript DRΛMA: Detailed Routing by a Versatile Maze Routing Algorithm
Research Manuscript Expcheck: Dynamic Expert-Aware Checkpointing for Mixture-of-Experts Based Models
Research Manuscript WSC-Cost: An Accurate Cost Modeling Framework for Wafer-Scale Chips
Research Manuscript ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
Research Manuscript Chipmodeler: LLM-Aided Reference Model Design for Agile Hardware Verification
Research Manuscript ELMBA: Escape from Local Minima in Buffer and Splitter Insertion for AQFP Circuits
Research Manuscript Jsplace: A Shape-Controllable and Length-Matching Placement for Rapid Single-Flux-Quantum Circuits
Research Manuscript Mappingevolve: LLM-Driven Code Evolution for Technology Mapping
Research Manuscript RM Poster Session Six
Research Manuscript L2L: Logic to Layout Exploration of Standard Cell Library Design
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
G
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Research Manuscript Flowplace: Flow Matching for Chip Placement
Research Manuscript How Can Reinforcement Learning Achieve Expert-Level Placement?
China
Research Manuscript Pillarsparse: Rethinking Unstructured Sparse Formats for Tensor Cores
Research Manuscript Accelcim: Systematic Dataflow Exploration for SRAM Compute-in-Memory Accelerator
Research Manuscript Parallelizing Complementary Approximate Reachability
Engineering Presentation Agentic AI Partition And Floorplan Assistance For PCIe/CXL Subsystem Physical Design
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Engineering Presentation ML Based Design Space Prediction for Power Grid Optimization
Engineering Presentation AI-Enabled Flow for Silicon Area Reduction and Design Closure
Engineering Presentation Design-for-FV Approach on a RISC-V Memory Page Walker
Engineering Presentation Efficient IR-Aware Powergrid Optimization
Engineering Poster Gladiator A Unified Silicon-Correlated Characterization Flow for High-PPA Standard Cell Libraries at Advance Nodes
Engineering Presentation Automated Validation of Liberty Models
Engineering Presentation Identifying Weakest Links: A Cell Scoring Metric for Robust Design in Advanced Nodes
Engineering Presentation Liberty-Based Profiling for IP Benchmarking
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation Rapid Design and Deployment of High-Radix Switch Fabric for Scale-up and Scale-out AI Systems
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Engineering Presentation Using ML-Assisted Side-Channel Analysis in Simulation: A Case Study on AES-GCM
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Research Manuscript CPW-SMO: Generating Mask Sets and Common Source for Maximum Common Process Window
Research Manuscript Compilation Tells Energy: Rethinking Power Modeling for DNN Accelerator Agile Design
Research Manuscript Memory That Thinks: Scalable, Reliable, and Secure Compute-in-Memory Systems
Research Manuscript RM Poster Session One
Research Manuscript RM Poster Session One
Research Manuscript RM Poster Session Seven
Research Manuscript Stateful Embedded Fuzzing Using Peripheral-Accurate Systemc Virtual Prototypes
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Engineering Presentation CDG-DNN: Scalable Test Template Generation Using Adaptive Neural Architecture for Industry Class CDG Hardware Verification
Engineering Presentation SELECT: Sensitivity Based Exploration and Localisation of Event-Wise Correlated Tokens for Test Generation
Engineering Presentation STEER: Simulation of Templates Engine for Efficient Resource Usage
Engineering Presentation Efficient IR-Aware Powergrid Optimization
Research Special Session LLM- and RL-Boosted Agentic AI: the Perfect Blend for Analog/rf Circuits from Spec to Layout
Engineering Presentation Vmin Reliability Through Critical Path-Aware PDN Analysis
Research Manuscript Making Sense of Job Preemption for Distributed Deep Learning Acceleration
Research Manuscript RM Poster Session Three
Research Special Session The Test Frontier: Advanced Packaging Solutions
Research Manuscript NIAQ: Adaptive Non-Ideality-Aware Qubit Readout for Long-Term Accuracy
Exhibitor Forum Closing the Loop Between AI and the Hardware That Fuels It
DAC Pavilion Panel What Are VCs Looking for at DAC?
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Research Manuscript CHiRM-DSE: CodeLLM-Based Hierarchical and Rule-Mining Guided DSE for FPGA Accelerators
Research Manuscript Crystal-KV: Efficient KV Cache Management for Chain-of-Thought LLMs via Answer-First Principle
Research Manuscript Efficient HLS Accelerator Floorplan on Multi-Die FPGA Aided by Graph Neural Networks
Research Manuscript Idealsim: Efficient Ideal Scenario Modeling for Processor Upper-Bound Performance Analysis
Research Manuscript Scheduling Cause-Effect Chains Without Timing Anomalies in End to End Latency
Research Manuscript SpArC: Sparse Tensor Accelerator Compilation with Scheduling and Mapping
Research Manuscript Optimizing Dynamic-Shape Neural Networks: A Unified Approach to Adaptive Tuning
Engineering Presentation Xchip: A Guardrailed Agentic Gen-AI Front-End Flow from Intent to GDSII
Engineering Presentation Designing Power- and Area-Efficient Custom NPUs for Edge AI
Engineering Presentation From Concept to Confidence: The AI Evolution in Design & Verification
Engineering Presentation Automated Validation of Liberty Models
Engineering Poster Gladiator Sigma Profiling: Profiling Solution for Power Integrity Signoff
Engineering Presentation Multi-Agent Generative AI Pipeline for Assisting in Design Verification
Engineering Presentation System & Software Deployment
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Engineering Presentation Using ML-Assisted Side-Channel Analysis in Simulation: A Case Study on AES-GCM
Engineering Special Session Gaps Between MBSE and Semiconductor Design in Aerospace and Defense, Will They Ever Connect?
Engineering Presentation Beyond Scripting: API Based HDL Generation
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Research Manuscript Shortcircuit: Alphazero-Driven Generative Circuit Design
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Research Manuscript Beyond GPUs: Next-Generation Architectures for Modern AI Workloads
Research Manuscript DM-MARK: Software and Hardware Co-Design of Watermarking Accelerator for Authorized Diffusion Model Usage on Edge Devices
Research Manuscript RM Poster Session One
Research Manuscript Pillarsparse: Rethinking Unstructured Sparse Formats for Tensor Cores
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Research Manuscript Brain-Like Hyper-Dimensional Graph Learning System with Hardware-Efficient Adaptive Sparsity
Research Manuscript Exquant: Global Expert Ranking–guided Mixed-Precision Quantization for Efficient MoE Inference
Research Manuscript From Characterization to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU
Research Manuscript Strix: Re-Thinking NPU Reliability from a System Perspective
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs
Research Manuscript Chipmodeler: LLM-Aided Reference Model Design for Agile Hardware Verification
Research Manuscript Circuitdiff: Bridging Netlist Knowledge with RTL Based on Graph Denoising Diffusion
Research Manuscript Insights from Verification: Training a Verilog Generation LLM Using Reinforcement Learning with Testbench Feedback
Research Manuscript On-Demand Multi-Task Sparsity for Efficient Large-Model Deployment on Edge Devices
Research Manuscript Paretopilot: Global Optimization Reasoning on HLS Design Space Exploration with LLMs
Research Manuscript Amoeba: Runtime Tensor Parallel Transformation for LLM Inference Services
Research Manuscript Accshield: Operator-Aware Robust Scheduling for Fault-Tolerant AI Accelerators
Engineering Presentation Implementing Secure Boot, Attestation and Secure Storage in Systems in Package
Engineering Presentation Risk Analysis for Chiplets, and Security Architecture
Research Manuscript Decoding the Past: Recovering Sensitive Data from SRAM Aging Imprints
Research Manuscript Closing Integrity Faster: Physics- and Learning-Based Methods for Power, EM/IR, and Thermal
Research Manuscript RM Poster Session Three
Research Manuscript Flashfps: Efficient Farthest Point Sampling for Large-Scale Point Clouds via Pruning and Caching
Research Manuscript RM Poster Session Nine
Research Manuscript Serving Intelligence at Scale: Architectural and Runtime Innovations for Large Models
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Research Manuscript GEMIR: Graph-Based Joint Modeling of Electromigration and IR Drop for Power Grid
Research Manuscript TRIDENT: An End-to-End Streaming Accelerator for TriSpGEMM
Research Manuscript Runtime-ADAR: Runtime Anomaly Detection and Attack Recovery in Encrypted DNNs
Research Manuscript WFH-BFs: Dynamic Defense Against DNN Bit-Flips via a Weight Function Hierarchy
China
Research Manuscript Operator-Level Acceleration for Sparse 3D Object Detection
Research Manuscript Cachence: Fine-Grained Cache Partitioning in Both Time and Space
Research Manuscript Epicell: Electro-Physical Co-Modeling for Standard Cell PPA Prediction
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Engineering Presentation Efficient Power Management in USB4 Routers
Research Manuscript Chiplanner: Physically-Aware and Timing-Driven Design Planner for 2.5D Multi-Chiplet Systems
Research Manuscript Fast, Furious, and Fault-Tolerant: Accelerating the Generative Grind
Research Manuscript GPU-Fuzz: Finding Memory Errors in Deep Learning Frameworks
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
Engineering Presentation Efficient Routing and Connectivity Repair for Large-Scale Hierarchical Metal Networks
Research Manuscript Unlocking Automated Datapath Gating via Machine Learning Power Prediction
Engineering Presentation AI‑Assisted Formal Verification: Improving Practical Adoption and Scalability
Engineering Presentation Automatic SDC Creation for Static Timing Analysis
Engineering Presentation Crosstalk Effect Prediction and Optimization for Detail Routing Using CNN Models and Reinforcement Learning Flow Framework
Engineering Presentation Structure Aware Clock Tree Synthesis Using Width-Driven CTS Cell Constraints
DAC Pavilion Panel Build vs Buy: Who Owns the Intelligence Behind Tomorrow's Chips?
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Engineering Presentation Toward an Open Chiplet Ecosystem: Arm® Foundation Chiplet System Architecture
Engineering Presentation Efficient IR-Aware Powergrid Optimization
Engineering Presentation Leveraging AI/ML Techniques for Memory Circuit Performance Optimization: Insights from ASO.ai
Engineering Presentation UVM-MS: A Novel Approach to Mixed-Signal IP Verification
Engineering Presentation Integrated Design Approach for Robust and Area-Efficient IO Ring in Advanced Process Nodes
Engineering Presentation Plug-and-Verify Using Real USB Devices for Front-End Host DUT RTL Validation
Engineering Presentation Transforming Linux Drivers for Pre-Silicon Verification and Emulation Using Systemverilog DPI-C
H
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation Multi-Cycle Interconnect Synthesis in Small to Large Cutting Methodology
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
Research Manuscript OpenSUN: An Open Platform for Exploring Scale-Up Network Systems
Engineering Presentation Dynamic CDC Verification Using SVA for Waiver Review
Engineering Presentation INTENT-AWARE RDC ANALYSIS USING MINIMALLY BOOLEAN REASONING
Engineering Presentation RDC Methodology: Noise Reduction and Improving Accuracy
Research Manuscript NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation Architectural Coverage Analysis and ML-Based Automated-Test Generation
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation Morph-Inspect: Structural Assurance for Inserted Logic
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
Engineering Presentation The Pursuit of Golden Specification: Leveraging Architecture Formal
DAC Pavilion Panel From RTL to Reality: Building Security into the Silicon Lifecycle
Research Manuscript Pioneering the Foundations of Quantum Circuit Synthesis, Compilation and Algorithmic Optimization
Research Manuscript RM Poster Session Eight
Engineering Poster Gladiator Multi Level EMFI Analysis Flow Using Electromagnetic Field Solver and Chip PDN Model
Research Manuscript Targeted Bit-Flip Attacks on LLM-Based Agents
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript Pipegs: Unlocking 3DGS Pipeline Parallelism via Hierarchical Reuse and Dynamic Partitioning
Research Manuscript SpRDA: An Efficient Sparse Accelerator for Robotics Diffusion Model
Research Manuscript Ctxmem: OS-Hardware Co-Designed Tiered Memory with DRAM-SSD Hybrid CXL Devices
Research Manuscript TDH-GNN: An Efficient Topology-Driven Accelerator for Dynamic Heterogeneous GNN
Research Manuscript Crosstalk Timing Prediction via Graph Prompt Learning in Aggressor-Victim RC Networks
Research Manuscript Path-Based Timing Analysis Acceleration via Segment-Level Timing Arc Reuse
Research Manuscript Fast Template Matching for Quantum Circuits Using Hypergraph
Research Manuscript DRCA: Reliable Bitwise Logic in DRAM via Dual-Rail Compute and Access
China
Research Manuscript Pioneering the Foundations of Quantum Circuit Synthesis, Compilation and Algorithmic Optimization
Research Manuscript RM Poster Session Eight
Engineering Presentation Deep Reinforcement Learning Paradigm for Analog Design Automation
Research Manuscript Hot Chips & Cool Models: AI Turns Up the Heat on Silicon Design
Research Manuscript RM Poster Session One
Engineering Presentation Serving Hot 3D-IC on Clean and Cool Plates
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Engineering Presentation A Good Grid Can Never be IR-Responsible
Engineering Presentation Hierarchical IP Block Resizing on the Fly
Engineering Presentation Novel Methodology for in Context Blockage Modification for High-Speed Global Clock Routing
Engineering Presentation Novel Methodology to Replace Openaccess Inputs for Hierarchical Chip Construction
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Research Manuscript Exploiting Movable Logical Qubits for Lattice Surgery Compilation
Engineering Presentation Architectural Coverage Analysis and ML-Based Automated-Test Generation
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation Novel Methodology for in Context Blockage Modification for High-Speed Global Clock Routing
Research Manuscript Stitch: Assertion-Guided Patching of On-Chip Protocol Implementations Using LLMs
Research Special Session Modeling and Benchmarking Early Fault-Tolerant Quantum Computers
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Research Manuscript PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
Research Special Session Toward Agentic Solutions for DRC Challenges in Digital VLSI Design
Research Manuscript Schemacoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting
Research Manuscript TOPCELL: Topology Optimization of Standard Cell via LLMs
Research Manuscript Hierarchical Boundary Recovery: Overcoming Synthesis Obscurity via SAT Sweeping
Research Manuscript BLADE: Bi-Level Bayesian Optimization for Metal-Density-Constrained Multi-Layer Package Power/ground Plane Synthesis
Research Manuscript BSPDN-Elite: A Comprehensive Framework for Optimizing Timing, Power and Routing Resources in BSPDN Designs
Research Manuscript Diffsp: Differentiable Sequence Pair-Based Analog Placement
Research Manuscript Flexicts: CPPR-Aware 3D Clock Tree Synthesis for Face-to-Face Bonded ICs
Research Manuscript Mappingevolve: LLM-Driven Code Evolution for Technology Mapping
Research Manuscript Mixed-Structure Double-Sided Redistribution Layer Routing for Glass Interposer-Based 5.5D ICs
Research Manuscript Moduplace: LLM-Assisted Modular PCB Placement via Preference-Optimized Constraint Graph Generation
Research Manuscript Network Design for Wafer-Scale Systems with Wafer-on-Wafer Hybrid Bonding
Engineering Poster Gladiator LLM-Aided Cell Clustering for Placement Optimization of DRAM Peripheral Circuits
Research Manuscript Adaptive Spiking Neural Networks for Real-Time Multi-Object Detection Tasks
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
Engineering Presentation SHELL: AI-Driven UVM Framework
Research Manuscript Fast Template Matching for Quantum Circuits Using Hypergraph
Engineering Presentation A Novel Design Approach for Optimized EMC and Thermal Performance in Next-Generation Automotive Applications
Engineering Presentation AI-Accelerated Optimization Flow for Robust Analog and Mixed-Signal Circuit Design Against Process Variation
Engineering Presentation Enhancing the Robustness of Impinj RAIN RFID Design Through the Application of AI-Powered Process Flow
Engineering Presentation Screening Analog Anomality for Security Vulnerability in Digitally Verified Crypto Cores
Research Manuscript GEMIR: Graph-Based Joint Modeling of Electromigration and IR Drop for Power Grid
Research Manuscript Integrated Timing-Driven Placement for Hybrid-Bonding-Based Face-to-Face 3D ICs
Engineering Presentation Hunting RTL Glitches Before They Burn Power: A Practical RTL Success Story
Engineering Presentation Slack-Exploiting Load Splitting for IR-Drop Mitigation
Engineering Presentation Automotive Logic Test Power Management
Engineering Presentation Slack-Exploiting Load Splitting for IR-Drop Mitigation
Research Manuscript RM Poster Session Two
Research Manuscript TRIDENT: An End-to-End Streaming Accelerator for TriSpGEMM
Research Manuscript Legend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript Path-Based Timing Analysis Acceleration via Segment-Level Timing Arc Reuse
Research Manuscript AMBER: A Unified Accelerator for Multi-Precision LLM Inference Exploiting Bit-Level Redundancy and Reconfigurability
Research Manuscript Hiband: A Hierarchical Bandwidth-Aware HB-DRAM Accelerator with Array-Level Co-Execution and Reconfigurable NoC for LLM Inference
Research Manuscript Pipegs: Unlocking 3DGS Pipeline Parallelism via Hierarchical Reuse and Dynamic Partitioning
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Research Manuscript WSC-Cost: An Accurate Cost Modeling Framework for Wafer-Scale Chips
Research Manuscript Cupilot: A Strategy-Coordinated Multi-Agent Framework for CUDA Kernel Evolution
Research Manuscript TRIDENT: An End-to-End Streaming Accelerator for TriSpGEMM
Research Manuscript AccDRC: FPGA Acceleration for VLSI DRC with Cell-Aware Layout Partitioning
Research Manuscript Exploiting Function-Family Structure in Analog Circuit Optimization
Research Manuscript Akirarust: Re-Thinking LLM-Aided Rust Repair Using a Feedback-Guided Thinking Switch
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript Circuitdiff: Bridging Netlist Knowledge with RTL Based on Graph Denoising Diffusion
Research Manuscript Insights from Verification: Training a Verilog Generation LLM Using Reinforcement Learning with Testbench Feedback
Research Manuscript UniNL: Unifying Fragmented Non-Linear Operators for Efficient Edge LLM Inference
Research Manuscript Chimera: A Unified FHE Accelerator with Enhanced Compatibility for TFHE
Research Manuscript Onyx: Efficient Transaction Processing with Real Processing-in-Memory Prototypes
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
Research Manuscript Greenllm: SLO-Aware Dynamic Frequency Scaling for Energy-Efficient LLM Serving
Research Special Session Qubic: An Open-Source Control System for Enabling Full-Stack Quantum Co-Design
China
Research Manuscript Exploiting Dependency and Parallelism: Real-Time Scheduling and Analysis for GPU Tasks
Research Manuscript Operator-Level Acceleration for Sparse 3D Object Detection
Research Manuscript Etherssd: An In-Storage Ethereum Analytics Platform with Minimized I/O and Authentication Overhead
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
Research Manuscript PIMGRAG: A Heterogeneous PIM Architecture for Graph-Based Retrieval-Augmented Generation
Research Manuscript SpecANNS: Accelerating Graph-Based Approximate Nearest Neighbor Search with Speculative In-Storage Computing
Research Manuscript TierANNS: Scalable Graph-Based ANNS with CXL-Enabled Tiered Data Placement
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Research Manuscript NASiC: 3D NAND-Based CAM-Selected Multibit CIM Architecture for Efficient On-Device Mixture-of-Experts LLM Inference
Research Manuscript PD-Swap: Prefill–decode Logic Swapping for End-to-End LLM Inference on Edge FPGAs via Dynamic Partial Reconfiguration
Research Manuscript RM Poster Session Seven
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Research Manuscript A Differentiable Approach to Task Graph Partitioning: A Case Study in RTL Simulation
Research Manuscript SP2RINT: Spatially-Decoupled Physics-Constrained Progressive Inverse Optimization for Diffractive Optical Neural Network Training
Research Manuscript Ihyperg: Incremental Hypergraph Partitioning on GPU
Research Manuscript Self-Driving EDA: Agents, Benchmarks, and Evolving Toolchains
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript Deinfer: Efficient Parallel Inferencing for Decomposed Large Language Models
Research Manuscript Deinfer: Efficient Parallel Inferencing for Decomposed Large Language Models
Research Manuscript Runtime-ADAR: Runtime Anomaly Detection and Attack Recovery in Encrypted DNNs
China
Engineering Special Session Quantum to Software Development
Research Special Session Satreg: Regression-Based Neural Architecture Search for Lightweight Satellite Image Segmentation
Engineering Presentation UCIe-A 64GT/s High Speed Integrated Design and SI/PI Comparison of CoWoS-S/L/R
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Engineering Presentation Optimizing Digital SOC Designs, One Cell at a Time Using AI Transistor-Level Sizing
Research Manuscript Raise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
Engineering Presentation A Rule-Aware Layout Conversion Framework for Back-End Physical Design
Engineering Presentation Adaptive AI and Additive AI Techniques for High-Sigma Standard Cell Verification
Research Manuscript Making Sense of Job Preemption for Distributed Deep Learning Acceleration
Engineering Presentation Flexible & Scalable Network Modeling for AI/HPC Network Verification
I
Research Manuscript ENACT: Ensemble Neural Fields for Reactive Robot Control
Research Manuscript Scaling Intelligence for the Physical World
Research Manuscript Network Design for Wafer-Scale Systems with Wafer-on-Wafer Hybrid Bonding
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Research Special Session Interoperability, Security & Privacy, and Future Media Across Android’s Ecosystem
Research Manuscript Light-Bound Transformers: Hardware-Anchored Robustness for Silicon-Photonic Computer Vision Systems
Research Manuscript RM Poster Session Six
Research Manuscript TRINE: A Token-Aware, Runtime-Adaptive FPGA Inference Engine for Multimodal AI
Engineering Presentation A Hybrid SRAM-DRAM Memory Architecture for Ultra-Low-Power Wakeup in SoCs
Engineering Presentation Hierarchical Cost-Efficient IR Methodology for AI SoCs
J
Engineering Presentation Staged Snapshots for Firmware-Hardware Collaborative Debug
Engineering Poster Gladiator Cost-Based Partial Subgraph Matching for Circuit Pattern Recognition
Engineering Presentation Graph Isomorphism for Explainable Transistor-Level Circuit Comparison
Engineering Presentation A Hybrid SRAM-DRAM Memory Architecture for Ultra-Low-Power Wakeup in SoCs
Engineering Presentation Silicon Correlation of Voltage Droop Mitigation Scheme
Engineering Presentation Matching Constraint Driven Synchronous Array Implementation for High-Performance ADCs
Engineering Presentation Fair Play in the Multiplex: Formal Verification of Complex Arbmux Designs
Engineering Presentation No Credit Where Credit Is Due: Quiesced Formal Check for PCIe Crediting
Engineering Poster Gladiator Outsmarting State Space Complexity Through Proven Reset Abstraction Stratergies
Engineering Presentation Weeding Out Timing Gaps and Improving Performance of DDR Controllers Using Formal Verification
Engineering Presentation Vmin Reliability Through Critical Path-Aware PDN Analysis
Engineering Presentation Fully Automated On‑Chip Inductor Synthesis for High‑Frequency VCO with ML Based Optimization Flow
Engineering Presentation A Programmable, Synthesizable CMOS Analog Optimization IP Core for Real-Time Control
Engineering Presentation Multi-Cycle Dynamic Vectorless Analysis for Improved PDN Signoff
Engineering Presentation Fully Automated On‑Chip Inductor Synthesis for High‑Frequency VCO with ML Based Optimization Flow
Engineering Presentation Past Present and Future of CDC & RDC Glitches: Improved Glitch Checker (IGC)
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Engineering Presentation Accelerating Formal Closure on Complex Hardware Designs via AI-Driven Helper Generation
Engineering Presentation Accelerating X-State Aware Power Simulation Using Advanced Hardware Emulation
Engineering Presentation Shifting System-Level Verification Left with Firmware-Driven Execution
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Engineering Presentation ML Based Design Space Prediction for Power Grid Optimization
Engineering Presentation A Unified QA Framework for Intel Library Validation Using Siemens Solido Crosscheck
Engineering Presentation Multi-Cycle Dynamic Vectorless Analysis for Improved PDN Signoff
Research Manuscript Attestllm: Efficient Attestation Framework for Billion-Scale On-Device LLMs
DAC Pavilion Panel Is EDA AI Delivering on Its ROI Promise?
Engineering Presentation A Probe-Based Time-Domain Methodology for Dynamic Thermal Management in Stacked-Die Architectures
Research Manuscript Pioneering AI and GPU-Powered Techniques for Advanced Timing Analysis and Optimization
Research Manuscript RM Poster Session One
Engineering Presentation DFT Ready Design with SCO Canvas : Shift Left of DFT Designs
Engineering Presentation Library PPA DTCO with Library Profiler
Research Manuscript Flip-FET-Based VLSI Design Framework with Congestion-Aware Dual-Side Routing
Engineering Presentation Revisiting PDN at the MOL Boundary: A Placement-Aware Power Delivery Flow
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Engineering Presentation Local Layout Effect Coverage Check Using Artificial Neural Network-Based Surrogate Models
Engineering Presentation TAWT: Towards Autonomous Wrapper Tuning
Engineering Presentation Fully Automated On‑Chip Inductor Synthesis for High‑Frequency VCO with ML Based Optimization Flow
Engineering Presentation Early DEF-Based Hierarchical Power Grid Shorts Analysis
Engineering Presentation Hunting RTL Glitches Before They Burn Power: A Practical RTL Success Story
Research Manuscript Integrated Timing-Driven Placement for Hybrid-Bonding-Based Face-to-Face 3D ICs
Research Manuscript GEMIR: Graph-Based Joint Modeling of Electromigration and IR Drop for Power Grid
Research Manuscript Pipegs: Unlocking 3DGS Pipeline Parallelism via Hierarchical Reuse and Dynamic Partitioning
Research Manuscript SpRDA: An Efficient Sparse Accelerator for Robotics Diffusion Model
Research Manuscript WSC-Cost: An Accurate Cost Modeling Framework for Wafer-Scale Chips
Research Manuscript Advancing the Frontier of Neuromorphic Learning Systems
Research Manuscript RM Poster Session Two
Research Manuscript ALOHA: Area-Efficient and Low-Power Stochastic Computing with Hammersley Sequences
Research Manuscript Adana: Accelerating Large Language Models via Adaptive Nonuniform Asymmetric Quantization
China
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Research Manuscript SSD Reforge: Dynamic Parity Management to Extend SSD Lifetime Under Aging
Research Manuscript Akirarust: Re-Thinking LLM-Aided Rust Repair Using a Feedback-Guided Thinking Switch
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript Per Flow Asynchronous Traffic Shaping in Time Sensitive Networking
Research Manuscript Akirarust: Re-Thinking LLM-Aided Rust Repair Using a Feedback-Guided Thinking Switch
Research Manuscript Beyond Fuzzer Islands: CPU Fuzzing via Smart Coordination
Research Manuscript Chipmodeler: LLM-Aided Reference Model Design for Agile Hardware Verification
Research Manuscript Circuitdiff: Bridging Netlist Knowledge with RTL Based on Graph Denoising Diffusion
Research Manuscript From Characterization to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU
Research Manuscript Insights from Verification: Training a Verilog Generation LLM Using Reinforcement Learning with Testbench Feedback
Research Manuscript Paretopilot: Global Optimization Reasoning on HLS Design Space Exploration with LLMs
Research Manuscript Prelude: Priming-Guided State Reconstruction for Efficient FPGA Processor Debugging
Research Manuscript Strix: Re-Thinking NPU Reliability from a System Perspective
Research Manuscript DCTS: Differentiable Clock Tree Synthesis Based on Probabilistic Graphical Model
Research Manuscript Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Research Manuscript A Locality-Aware Temporal Motif Mining Accelerator with Chunk-Based Search Tree Expansion
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript Dart: Towards Redundancy-Free RTL Simulation via DAG-Driven Execution
Research Manuscript Dypamear: Efficient and Scalable Dynamic Graph Pattern Mining on Practical Processing-in-Memory Architecture
Research Manuscript Fusedot: A Multiplication-Fused Dot Product Accelerator for Efficient LLM Inference
Research Manuscript Hbspec: A Hybrid-Bonding-Based Heterogeneous Accelerator for Efficient Tree-Structured Speculative Decoding
Research Manuscript BLADE: Bi-Level Bayesian Optimization for Metal-Density-Constrained Multi-Layer Package Power/ground Plane Synthesis
Research Manuscript BSPDN-Elite: A Comprehensive Framework for Optimizing Timing, Power and Routing Resources in BSPDN Designs
Research Manuscript DiffDEG: Diffusion-Enhanced Design Evolution Graph Representation Learning for Post-Layout Optimization
Research Manuscript Flexicts: CPPR-Aware 3D Clock Tree Synthesis for Face-to-Face Bonded ICs
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Engineering Presentation Unifying Pre- and Post-Silicon Software Validation Through Modeling
Research Manuscript Advances in 3D/2.5D Physical Design
Engineering Presentation Advanced Hard IP Integration Requirement Extraction and Checker
Engineering Presentation CDG-DNN: Scalable Test Template Generation Using Adaptive Neural Architecture for Industry Class CDG Hardware Verification
Engineering Presentation SELECT: Sensitivity Based Exploration and Localisation of Event-Wise Correlated Tokens for Test Generation
Engineering Presentation STEER: Simulation of Templates Engine for Efficient Resource Usage
Engineering Presentation Staged Snapshots for Firmware-Hardware Collaborative Debug
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation AI‑Assisted Formal Verification: Improving Practical Adoption and Scalability
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
China
Engineering Presentation A Rule-Aware Layout Conversion Framework for Back-End Physical Design
K
Engineering Presentation Advanced Hard IP Integration Requirement Extraction and Checker
Engineering Presentation TAWT: Towards Autonomous Wrapper Tuning
Engineering Presentation Deep Reinforcement Learning Paradigm for Analog Design Automation
Engineering Presentation Accelerating CPU Design in Advanced Nodes with AI-Powered Floor Planning and VT Optimization
Research Manuscript HW-Router: Hardware-Aware Routing for Scalable Multi-LLM Serving
Engineering Presentation SLURM Deployment for IC Design Startups. How to Make the Most of Slurm, and Avoid Common Issues
Research Manuscript RM Poster Session Four
Research Manuscript Escaping Flatland: A Placement Flow for Enabling 3D FPGAs
Additional Meeting Open-Source EDA Birds-of-a-Feather Session
Research Special Session Progress and Roadmap Toward an Automated EDA R&D Engineer
Engineering Presentation Correct-by-Construction Framework for Robustness Against Divergent Voltage Drops and High Clock Divergence
Engineering Presentation Differential Validator: Ensuring SoC ROM to Hierarchical Blocks Node Voltage Integrity
Student ML Framework for Secondary Power Grid Routing Resistance Prediction with Piecewise Linear Regression
Engineering Presentation Optimizing Reliability EM Sign-Off for 2nm Mobile SoCs
Engineering Presentation Formal Verification Engineering for Integer Vector Neural Network Instructions
Engineering Presentation Design Spec to Die-Size Estimation Using ML Based Framework for Automotive SoCs
Research Manuscript RM Poster Session Four
Engineering Poster Gladiator A Unified Silicon-Correlated Characterization Flow for High-PPA Standard Cell Libraries at Advance Nodes
Engineering Presentation Automated Validation of Liberty Models
Engineering Presentation Identifying Weakest Links: A Cell Scoring Metric for Robust Design in Advanced Nodes
Engineering Presentation Liberty-Based Profiling for IP Benchmarking
Engineering Presentation Architectural Formal Verification of Configurable Address Translation Logic for Early Bug Exposers
Engineering Poster Gladiator Multi Level EMFI Analysis Flow Using Electromagnetic Field Solver and Chip PDN Model
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
Research Manuscript Scalable and Adaptive Parallel Training of Graph Transformer on Large Graphs
Engineering Presentation Past Present and Future of CDC & RDC Glitches: Improved Glitch Checker (IGC)
Research Manuscript L2L: Logic to Layout Exploration of Standard Cell Library Design
Research Manuscript Adaptive Spiking Neural Networks for Real-Time Multi-Object Detection Tasks
Research Manuscript Adaptive Spiking Neural Networks for Real-Time Multi-Object Detection Tasks
Engineering Presentation Routability Optimizing Methodology Using Flexible Pin
Engineering Presentation An Advanced Extraction-Aware Modeling Methodology for Multi-Plate MIMCAPs with Enhanced Accuracy
Engineering Presentation Real-Time Local Layout Effects Analysis for Advanced Design Optimization
Engineering Presentation A Rule-Aware Layout Conversion Framework for Back-End Physical Design
Engineering Presentation Local Layout Effect Coverage Check Using Artificial Neural Network-Based Surrogate Models
Engineering Presentation A Security-Centric Virtual Platform for Accelerating Shift-Left Security Firmware Development
Research Manuscript Making Sense of Job Preemption for Distributed Deep Learning Acceleration
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Research Manuscript GTX: Graph Transformer for Parasitic Extraction on Analog Circuits
Engineering Presentation Accelerating X-State Aware Power Simulation Using Advanced Hardware Emulation
Engineering Presentation Shifting System-Level Verification Left with Firmware-Driven Execution
Engineering Presentation Reduced Order Modelling (ROM) Based Full Chip EMIR Signoff
Engineering Presentation Silicon Correlation of Voltage Droop Mitigation Scheme
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
Engineering Presentation Automotive Logic Test Power Management
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Engineering Presentation Using ML-Assisted Side-Channel Analysis in Simulation: A Case Study on AES-GCM
Research Manuscript Robust and Trusted AI Systems: Attacks, Defenses, and Hardware Reliability
Engineering Presentation Automated Workload Analysis for Dynamic Voltage Drop Optimization and Faster Power Integrity Signoff in Complex SoC Designs
Engineering Presentation Scalable EMIR Signoff for Very Large SoCs Using Reduced Order Modelling
Engineering Presentation Beyond Hierarchical Static Verification: Smart Stubbing for Next-Gen AI Accelerators
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Exhibitor Forum AI-Native Workflows from Architecture to Production Readiness
Engineering Presentation Systematic Methodology for GLS Shift-Over Using Timing Constraint Verification
United Arab Emirates
Engineering Presentation Optimizing Reliability EM Sign-Off for 2nm Mobile SoCs
Engineering Presentation An Adjustable Length Compression Method for MBIST Repair Information
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Research Manuscript Galaxydit: Efficient Video Generation with Guidance Alignment and Adaptive Proxy in Diffusion Transformers
Research Special Session Toward Agentic Solutions for DRC Challenges in Digital VLSI Design
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Research Manuscript TRINE: A Token-Aware, Runtime-Adaptive FPGA Inference Engine for Multimodal AI
Engineering Presentation Reduced Order Modelling (ROM) Based Full Chip EMIR Signoff
Engineering Presentation Crosstalk Effect Prediction and Optimization for Detail Routing Using CNN Models and Reinforcement Learning Flow Framework
Engineering Presentation Structure Aware Clock Tree Synthesis Using Width-Driven CTS Cell Constraints
Engineering Presentation Veriscore: Measuring LLM Verification Quality with Mutation- and Soundness-Based Metrics
Engineering Presentation Integrated Design Approach for Robust and Area-Efficient IO Ring in Advanced Process Nodes
Engineering Presentation A Programmable, Synthesizable CMOS Analog Optimization IP Core for Real-Time Control
Engineering Special Session Analog Intelligence: Physics-Aware AI for Faster, More Accurate Verification
Research Manuscript Design for the Unpredictable: Resilience and Adaptation in AIoT
Research Manuscript RM Poster Session Four
Engineering Presentation Adaptive AI and Additive AI Techniques for High-Sigma Standard Cell Verification
Engineering Presentation Library PPA DTCO with Library Profiler
Research Manuscript MXP: A Posit-Inspired Microscaling Format for Vision-Language Tasks
Research Manuscript Generative AI and Graph-Based Learning for Next-Gen Circuit & Device Simulation
Research Manuscript Design for the Unpredictable: Resilience and Adaptation in AIoT
Research Manuscript RM Poster Session Four
Research Special Session Near-Memory Processing is Becoming a Reality
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Engineering Presentation Revisiting PDN at the MOL Boundary: A Placement-Aware Power Delivery Flow
Engineering Presentation Routability Optimizing Methodology Using Flexible Pin
Research Manuscript MXP: A Posit-Inspired Microscaling Format for Vision-Language Tasks
Engineering Presentation A Rule-Aware Layout Conversion Framework for Back-End Physical Design
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
Research Manuscript Test Point Insertion with ATPG-Free Self-Supervised Learning
Research Manuscript CoX-MoE: Coalesced Expert Execution for High-Throughput MoE Inference with AMX-Enabled CPU-GPU Co-Execution
Research Manuscript MASQ: Accelerating Masked Diffusion via Stage-Wise Multi-Precision Quantization
Research Manuscript Keeping PIM Busy: Eliminating Execution Overheads for Full Throughput
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Engineering Presentation Adaptive QoS Optimization for SoC Performance Enhancement Using Dueling Double Deep Q-Networks
Research Manuscript Efficient LLM and MoE Inference on Specialized Hardware
Research Manuscript RM Poster Session Four
Research Manuscript MASQ: Accelerating Masked Diffusion via Stage-Wise Multi-Precision Quantization
Research Manuscript PRISM: Priority Aware Shared Scale Microscaling Format for 4-Bit Quantization
Research Manuscript Tdsnap: Enabling Secure Function-as-a-Service with Trusted Domain Snapshots
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Research Manuscript TopGQ: Fast GNN Post-Training Quantization Leveraging Topology Information
Research Manuscript Intelligence-Aware Software: Efficiency, Reliability, and Security in the LLM Era
Research Manuscript RM Poster Session Seven
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Research Manuscript CO-MAC: A Center-Out Ordered Stochastic MAC for Low-Latency Inference
Engineering Presentation Accelerating DFT Verification and Enhancing Debuggability Using Veloce-Based Full Chip Gate-Level Emulation
Engineering Presentation Accelerating X-State Aware Power Simulation Using Advanced Hardware Emulation
Engineering Presentation Adaptive QoS Optimization for SoC Performance Enhancement Using Dueling Double Deep Q-Networks
Engineering Presentation Building an Ontology-Driven Knowledge Graph for Constraint-Aware Navigation of Semiconductor Design Documents
Engineering Presentation Enabling Automated Software Testing in Emulation Environments via Fastboot Virtualization and On-Premises LLM-Based Failure Analysis
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Engineering Presentation Pre-Silicon Real Workloads Validation: Integration of Wireless Network Testers and Hardware Emulation via Virtualization
Engineering Presentation Shifting System-Level Verification Left with Firmware-Driven Execution
Engineering Presentation Unifying Pre- and Post-Silicon Software Validation Through Modeling
DAC Pavilion Panel Agentic AI in EDA: Who's in Control?
Additional Meeting Agentic AI in EDA: Who’s in Control?
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Research Manuscript EARL: Entropy-Aware RL Alignment of LLMs for Reliable RTL Code Generation
Research Special Session Co-Designed Compute Memories for Ultra-Efficient DNN Inference
Engineering Special Session Role of HW Based Tools like Emulation and Prototyping in Semiconductor Design Methodology
Research Manuscript Chimera: A Unified FHE Accelerator with Enhanced Compatibility for TFHE
Research Manuscript GTX: Graph Transformer for Parasitic Extraction on Analog Circuits
Engineering Presentation Past Present and Future of CDC & RDC Glitches: Improved Glitch Checker (IGC)
Engineering Presentation Custom Implementation of High-Speed Digital Blocks Using Virtuoso Studio
Additional Meeting Agentic AI in EDA: Who’s in Control?
DAC Pavilion Panel Agentic AI in EDA: Who's in Control?
Research Manuscript Efficient & Edge-Ready AI Systems
Research Manuscript RM Poster Session Five
Engineering Poster Gladiator A Unified Silicon-Correlated Characterization Flow for High-PPA Standard Cell Libraries at Advance Nodes
Research Manuscript Expcheck: Dynamic Expert-Aware Checkpointing for Mixture-of-Experts Based Models
Research Manuscript Attestllm: Efficient Attestation Framework for Billion-Scale On-Device LLMs
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Research Manuscript Scalable Reliability Assessment of DNNs Through Simultaneous Fault Injection
Engineering Presentation Optimizing Reliability EM Sign-Off for 2nm Mobile SoCs
Research Manuscript Exploiting Movable Logical Qubits for Lattice Surgery Compilation
Engineering Presentation Screening Analog Anomality for Security Vulnerability in Digitally Verified Crypto Cores
Research Manuscript RM Poster Session Five
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Meeting EDA Workload Capacity Needs with AWS for Siemens' Solido Custom IC Technologies
Engineering Presentation Silicon Correlation of Voltage Droop Mitigation Scheme
Engineering Presentation Early, Efficient and Scalable Parasitic-Aware Layout Design Methodology for High-Precision ICs
Engineering Presentation Identifying Weakest Links: A Cell Scoring Metric for Robust Design in Advanced Nodes
Engineering Presentation Liberty-Based Profiling for IP Benchmarking
Engineering Presentation Leveraging AI/ML Techniques for Memory Circuit Performance Optimization: Insights from ASO.ai
Engineering Presentation Maximize RoI Through Glitch Power Optimization at Early Design Stage
Engineering Presentation ML Based Design Space Prediction for Power Grid Optimization
Engineering Presentation New Thermal Analysis Workflow for 3DIC Designs
Engineering Presentation Weeding Out Timing Gaps and Improving Performance of DDR Controllers Using Formal Verification
Engineering Presentation Mixed Transistor Design Closure
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Engineering Presentation Breaking the Simulation Wall – Practical Acceleration for Pre-Silicon Validation
Engineering Presentation Multi-Agent Automated Formal Verification for Automative Applications
Engineering Presentation Fully Automated On‑Chip Inductor Synthesis for High‑Frequency VCO with ML Based Optimization Flow
Engineering Presentation Intelligent Clock Domain Crossing: Activity-Aware Synchronization for Low-Power SoCs
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Engineering Special Session The Heterogeneous Future of Agentic AGI: Challenges and Opportunities!
Engineering Presentation Dynamic CDC Verification Using SVA for Waiver Review
Engineering Presentation INTENT-AWARE RDC ANALYSIS USING MINIMALLY BOOLEAN REASONING
Engineering Presentation RDC Methodology: Noise Reduction and Improving Accuracy
Engineering Presentation Slack-Exploiting Load Splitting for IR-Drop Mitigation
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation AI-Enabled EDA Cloud Infrastructure and Design Optimization for Next-Generation Semiconductor Design
Engineering Presentation Library PPA DTCO with Library Profiler
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
L
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Research Manuscript iPCL-M: Pre-Training of Chip Layout for Metrics Evaluation and Optimization
Engineering Presentation Hierarchical IP Block Resizing on the Fly
Engineering Presentation Reduced Order Modelling (ROM) Based Full Chip EMIR Signoff
Engineering Presentation No Credit Where Credit Is Due: Quiesced Formal Check for PCIe Crediting
Engineering Presentation New Thermal Analysis Workflow for 3DIC Designs
Engineering Presentation Automated Verification and Performance Analysis for Chiplets
Engineering Presentation Automatic SDC Creation for Static Timing Analysis
Research Special Session Advanced Packaging: From Concept to Deployment
China
Research Manuscript PMU-Faker: The Apparently Harmless Performance Monitoring Unit Events Are Actually Harmful
Research Manuscript Unveiling the Security Risks Driven by the Hardware Interrupts
Research Manuscript Enabling AI ASICs for Zero Knowledge Proof
Research Manuscript Shared Logic Unleashed: Multiple-Node Boolean Optimization for Next-Gen Synthesis
Research Manuscript Unlocking Automated Datapath Gating via Machine Learning Power Prediction
Engineering Presentation Resistive Model-Based via Optimizatiion
Engineering Presentation Agentic Time-Travel Debugging for HLS Code
Research Manuscript PRISM: Priority Aware Shared Scale Microscaling Format for 4-Bit Quantization
Engineering Presentation A Mixed-Domain Modeling Approach for Hatched Ground Planes in 3D Chiplet Die-to-Die Interconnect
Research Manuscript REACT: Rapid Error-Tolerant Activation Compressor for Efficient Transformer Training
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
Research Manuscript MASQ: Accelerating Masked Diffusion via Stage-Wise Multi-Precision Quantization
Engineering Presentation SHELL: AI-Driven UVM Framework
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Research Manuscript MXP: A Posit-Inspired Microscaling Format for Vision-Language Tasks
Research Manuscript Test Point Insertion with ATPG-Free Self-Supervised Learning
Research Manuscript Adaptive Spiking Neural Networks for Real-Time Multi-Object Detection Tasks
Research Manuscript RM Poster Session Three
Research Manuscript Winning the Token-Time Wars: Low-Bit LLMs, Faster MoE, and KV-Cache Systems
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Research Manuscript MXP: A Posit-Inspired Microscaling Format for Vision-Language Tasks
Engineering Presentation An Advanced Extraction-Aware Modeling Methodology for Multi-Plate MIMCAPs with Enhanced Accuracy
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
Research Manuscript Accelerators and Design Methods for AI Workloads
Research Manuscript RM Poster Session Seven
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
Research Manuscript TopGQ: Fast GNN Post-Training Quantization Leveraging Topology Information
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Engineering Presentation Adaptive AI and Additive AI Techniques for High-Sigma Standard Cell Verification
Engineering Presentation Real-Time Local Layout Effects Analysis for Advanced Design Optimization
Research Manuscript A Differentiable Approach to Task Graph Partitioning: A Case Study in RTL Simulation
Research Manuscript Ihyperg: Incremental Hypergraph Partitioning on GPU
Engineering Presentation Real-Time Local Layout Effects Analysis for Advanced Design Optimization
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Engineering Presentation Enabling PSS-Driven Early SoC Verification By Enriching IP-XACT Information
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
China
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Research Manuscript CARAMEL: Boosting Device Utilization in Control Flow Auditing
Research Manuscript Stateful Embedded Fuzzing Using Peripheral-Accurate Systemc Virtual Prototypes
Engineering Presentation Shifting System-Level Verification Left with Firmware-Driven Execution
Research Manuscript TOPCELL: Topology Optimization of Standard Cell via LLMs
Research Manuscript Cupilot: A Strategy-Coordinated Multi-Agent Framework for CUDA Kernel Evolution
Research Manuscript Knowledge-Driven Hybrid SSD Management Enhanced by Fine-Tuned LLMs
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Research Manuscript RM Poster Session Seven
Research Manuscript Rethinking AI Compute: Cross-Layer Co-Design Beyond Conventional GPUs
Engineering Presentation Multi-Cycle Dynamic Vectorless Analysis for Improved PDN Signoff
Research Manuscript PLONK-Hammer:breaking Input Privacy of PLONK Proving Systems via Rowhammer
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Research Manuscript Weaver: Stratified Expert Scheduling for Memory-Constrained MoE Inference
Research Manuscript Nash: A Neighbor-Aware Shared Memory Design on GPU for Accelerating AI Workloads
Research Manuscript A Hamiltonian-Guided Pre-Trainer for Variational Quantum Algorithms
Research Manuscript Algorithm and Hardware Co-Design for Efficient Complex-Valued Uncertainty Estimation
Research Manuscript Optimized Time-Dependent Hamiltonian Evolution Quantum Solver for Power System Transient Computations
Research Manuscript RM Poster Session Five
Research Manuscript ATLAS: Asynchronous Topological Learning for Accurate FIT Prediction via Decoupled Graph Neural Networks
Research Manuscript Chimera: A Unified FHE Accelerator with Enhanced Compatibility for TFHE
Research Manuscript STAC: Spatial-Temporal Activation Contextualization for Resilient LLM Inference
Research Manuscript Dataflowgen: An MLIR-Based Compiler for Efficient Dataflow Accelerator Generation
Research Manuscript Dynamic-Cost Area Recovery for Fracturable LUT-Based FPGAs
Research Manuscript Parallelizing Complementary Approximate Reachability
Research Manuscript Strix: Re-Thinking NPU Reliability from a System Perspective
Research Manuscript Analytically-Derived Hybrid Net–pin Weighting for Timing-Driven Global Placement
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Engineering Presentation AI-Enabled High-Fidelity Power Amplifier Behavioral Modeling with Commercial EDA Tools
Research Manuscript RAM-CGRA: Reachability-Aware Mapping for CGRAs
Research Manuscript Cachence: Fine-Grained Cache Partitioning in Both Time and Space
Research Manuscript Hero: Adaptive Orchestration of Retrieval-Augmented Generation on Heterogeneous Mobile SoC
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Networking Events 2026 DAC Early Career Workshop
Research Manuscript DRIFT: Harnessing Inherent Fault Tolerance for Efficient and Reliable Diffusion Model Inference
Research Manuscript DySL-VLA: Efficient Vision-Language-Action Model Inference via Dynamic-Static Layer-Skipping for Robot Manipulation
Research Manuscript Edgesc: Universal Stochastic Computing Architecture for Efficient Edge Detection
Research Manuscript KEEP: A KV-Cache-Centric Memory Management System for Efficient Embodied Planning
Research Manuscript NASiC: 3D NAND-Based CAM-Selected Multibit CIM Architecture for Efficient On-Device Mixture-of-Experts LLM Inference
Research Manuscript Orchestrating Dual-Boundaries: An Arithmetic Intensity Inspired Acceleration Framework for Diffusion Language Models
Research Manuscript RM Poster Session Six
Research Manuscript S2CIM: A Secure-Computation and Secure-Storage Compute-in-Memory Architecture with Circuit-Algorithm Co-Design for Efficient and Trustworthy Edge Inference
Research Manuscript Structuring the Blueprint: Scalable Partitioning and Early-Stage Floorplanning
Research Manuscript Compart: Community-Guided Post-Coarsening for High-Quality Hypergraph Partitioning
Research Manuscript G-Power: Architecture-Level GPU Power Modeling with Aggregated Knowledge Foundations from Known GPUs
Research Manuscript FBS: Accelerating CNN Inference over RNS-CKKS with Fewer Bootstrapping Sparsity
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript Fast Template Matching for Quantum Circuits Using Hypergraph
Research Manuscript Dart: Towards Redundancy-Free RTL Simulation via DAG-Driven Execution
Research Manuscript EASY-ZKP: An End-to-End FPGA-Accelerated System for Zero Knowledge Proofs
Research Manuscript EASY-ZKP: An End-to-End FPGA-Accelerated System for Zero Knowledge Proofs
Engineering Presentation Automotive Logic Test Power Management
Research Manuscript Agent-Per-Qubit: Automated Qubit Placement for Fault-Tolerant Quantum Computing
Research Manuscript Agent-Per-Qubit: Automated Qubit Placement for Fault-Tolerant Quantum Computing
Research Manuscript Accshield: Operator-Aware Robust Scheduling for Fault-Tolerant AI Accelerators
Research Manuscript Nash: A Neighbor-Aware Shared Memory Design on GPU for Accelerating AI Workloads
Engineering Presentation AI-Enabled High-Fidelity Power Amplifier Behavioral Modeling with Commercial EDA Tools
Research Manuscript Move Less, Compute More: Memory-Centric Architectures for AI
Research Manuscript Overmind NSA: A Unified Neuro-Symbolic Computing Architecture with Approximate Nonlinear Activations and Preemptive Memory Bypass
Research Manuscript RM Poster Session Eight
Research Manuscript iPCL-M: Pre-Training of Chip Layout for Metrics Evaluation and Optimization
Research Manuscript Memflow: Characterizing Memory Traffic Contention in Disaggregated Architectures
Research Manuscript COLA: Enabling Low-Latency Reads for Flash-Based SSDs via Code Length Adaptation
China
Research Manuscript PRISM: Dynamic Primitive-Based Forecasting for Large-Scale GPU Cluster Workloads
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Research Manuscript Amoeba: Runtime Tensor Parallel Transformation for LLM Inference Services
Research Manuscript RM Poster Session Seven
Research Manuscript From Analog to 3D Packaging: Enabling Routing and Clocking for Next-Generation Systems
Research Special Session When Generative AI Meets Analog Design: A Journey From Agent to Expert?
Research Manuscript Alphaplacer: Analog Placement Enhanced by Monte Carlo Tree Search
Research Manuscript Diffsp: Differentiable Sequence Pair-Based Analog Placement
Research Manuscript GRACE: A Ground Plane Generation and Re-Routing Aware Co-Design Engine
Research Manuscript Knowledge-Driven Hybrid SSD Management Enhanced by Fine-Tuned LLMs
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Research Manuscript Cachence: Fine-Grained Cache Partitioning in Both Time and Space
Research Manuscript Marlin: I/O-Efficient Prefix KV Cache Retrieval for Long-Prefix LLM Serving
Research Manuscript Throughput-Oriented Speculative Decoding via Intra-Device Parallelism
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Research Manuscript Accelerating AI+SAR Applications Through Enhanced Graph Optimization
Research Manuscript Per Flow Asynchronous Traffic Shaping in Time Sensitive Networking
Research Manuscript Lhgstore: An In-Memory Learned Graph Storage for Fast Updates and Analytics
China
Research Manuscript Unveiling the Security Risks Driven by the Hardware Interrupts
Research Manuscript GPU-Fuzz: Finding Memory Errors in Deep Learning Frameworks
Research Manuscript Targeted Bit-Flip Attacks on LLM-Based Agents
Engineering Presentation Efficient Power Management in USB4 Routers
Research Manuscript PLONK-Hammer:breaking Input Privacy of PLONK Proving Systems via Rowhammer
Research Manuscript Hyspecpro: Scalable Hypergraph Partitioning via Spectral Projection Optimization
Research Manuscript Placing the Future Beyond Cells: From Transistors to 3D Integration
Research Manuscript RM Poster Session Nine
Research Manuscript Schemacoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting
Research Manuscript BLADE: Bi-Level Bayesian Optimization for Metal-Density-Constrained Multi-Layer Package Power/ground Plane Synthesis
Research Manuscript BSPDN-Elite: A Comprehensive Framework for Optimizing Timing, Power and Routing Resources in BSPDN Designs
Research Manuscript Flexicts: CPPR-Aware 3D Clock Tree Synthesis for Face-to-Face Bonded ICs
Research Manuscript Coordinated Clip-Wise Gradient Scheduling for Full-Chip ILT via Policy Learning
Research Manuscript GRACE: A Ground Plane Generation and Re-Routing Aware Co-Design Engine
Research Manuscript Beyond Exact: Tight WCET Analysis of GPU Kernels with Branch Divergence
Research Manuscript Pillarsparse: Rethinking Unstructured Sparse Formats for Tensor Cores
Research Manuscript Deinfer: Efficient Parallel Inferencing for Decomposed Large Language Models
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript Integrated Timing-Driven Placement for Hybrid-Bonding-Based Face-to-Face 3D ICs
Research Manuscript A Locality-Aware Temporal Motif Mining Accelerator with Chunk-Based Search Tree Expansion
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript Dart: Towards Redundancy-Free RTL Simulation via DAG-Driven Execution
Research Manuscript Dypamear: Efficient and Scalable Dynamic Graph Pattern Mining on Practical Processing-in-Memory Architecture
Research Manuscript Fusedot: A Multiplication-Fused Dot Product Accelerator for Efficient LLM Inference
Research Manuscript Energyhdc: Intermittent Hyperdimensional Inference on Energy-Harvesting IoT
Research Manuscript NIAQ: Adaptive Non-Ideality-Aware Qubit Readout for Long-Term Accuracy
Engineering Presentation Accelerating X-State Aware Power Simulation Using Advanced Hardware Emulation
Engineering Presentation Local Layout Effect Coverage Check Using Artificial Neural Network-Based Surrogate Models
Engineering Presentation Past Present and Future of CDC & RDC Glitches: Improved Glitch Checker (IGC)
Research Manuscript L2L: Logic to Layout Exploration of Standard Cell Library Design
Research Special Session Weaving the Photonic Fabric: Electronic-Photonic Design Automation for Chiplet AI Systems
Research Manuscript DRCA: Reliable Bitwise Logic in DRAM via Dual-Rail Compute and Access
Taiwan
Research Manuscript AI Graces the Cell Party: Transformers, LLMs and Zero Drama Extraction
Research Manuscript Scalable and Adaptive Parallel Training of Graph Transformer on Large Graphs
Research Manuscript Weaver: Stratified Expert Scheduling for Memory-Constrained MoE Inference
Engineering Presentation From Design to Defense: Pioneering Pre-Silicon Leakage Detection for Novel ECC Crypto Core
Engineering Presentation Attacking AES-XTS in Simulation: Pre-Silicon Side-Channel Leakage Assessment
Engineering Presentation UCIe-A 64GT/s High Speed Integrated Design and SI/PI Comparison of CoWoS-S/L/R
Engineering Presentation Accurate Impact Modeling for Threshold Voltage Mismatch of Transistors in Same Chip
Engineering Presentation UCIe-A 64GT/s High Speed Integrated Design and SI/PI Comparison of CoWoS-S/L/R
Research Manuscript Activity-Aware Partitioning for Effective Multi-Threaded Event-Driven RTL Simulation
Research Manuscript Attentioncap: Transformer Based Capacitance Matrix Learning Toward Full-Chip Extraction
Research Manuscript Autonomous Synthesis and Intelligent Optimization for Analog and RF Circuits
Research Manuscript Celle: Automated Standard Cell Library Extension via Equality Saturation
Research Manuscript Disentangled Differentiable Timing-Power Co-Optimization with Quad-Gradient Gate Sizing
Research Manuscript Epicell: Electro-Physical Co-Modeling for Standard Cell PPA Prediction
Research Manuscript Integrated Timing-Driven Placement for Hybrid-Bonding-Based Face-to-Face 3D ICs
Research Manuscript LATTE: Legality-Assured Differentiable Timing-Driven Detailed Placement
Research Special Session PANDA: An LLM-Enhanced Performance-Driven Analog Design Framework Bridging Design Intent and Layout Generation
Research Manuscript RM Poster Session Nine
Engineering Presentation Slack-Exploiting Load Splitting for IR-Drop Mitigation
Engineering Presentation A Novel Design Approach for Optimized EMC and Thermal Performance in Next-Generation Automotive Applications
Engineering Presentation Screening Analog Anomality for Security Vulnerability in Digitally Verified Crypto Cores
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Research Manuscript Leveraging AI for Silicon Health: Test, Yield & Fault Tolerance
Research Manuscript RM Poster Session Eight
Research Manuscript WFH-BFs: Dynamic Defense Against DNN Bit-Flips via a Weight Function Hierarchy
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript STAC: Spatial-Temporal Activation Contextualization for Resilient LLM Inference
Research Manuscript Brain-Like Hyper-Dimensional Graph Learning System with Hardware-Efficient Adaptive Sparsity
Research Manuscript Exquant: Global Expert Ranking–guided Mixed-Precision Quantization for Efficient MoE Inference
Research Manuscript GEMM-GS: Accelerating 3D Gaussian Splatting on Tensor Cores with GEMM-Compatible Blending
Research Manuscript SiTA: Exploiting Sparsity in Tensor-Product for Accelerating Quantum Readout Error Mitigation
Research Manuscript AccDRC: FPGA Acceleration for VLSI DRC with Cell-Aware Layout Partitioning
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Research Manuscript iPCL-M: Pre-Training of Chip Layout for Metrics Evaluation and Optimization
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript GEMIR: Graph-Based Joint Modeling of Electromigration and IR Drop for Power Grid
Research Manuscript WSC-Cost: An Accurate Cost Modeling Framework for Wafer-Scale Chips
Research Manuscript DRΛMA: Detailed Routing by a Versatile Maze Routing Algorithm
Research Manuscript ATOM-3D: Analytical Three-Dimensional Orientation-Aware Mixed-Size Placer
Research Manuscript iPCL-M: Pre-Training of Chip Layout for Metrics Evaluation and Optimization
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Engineering Presentation PDN Improvement Strategies for Adaptive Multi-Package MCU Chips
Research Manuscript Greenllm: SLO-Aware Dynamic Frequency Scaling for Energy-Efficient LLM Serving
Research Manuscript COOL: A Cooling-Aware Point Transformer Framework for Thermal Prediction in Advanced 3D/3.5D IC Packaging
Research Manuscript G-Power: Architecture-Level GPU Power Modeling with Aggregated Knowledge Foundations from Known GPUs
Research Manuscript Impart: Integration of Memetic Operations into Multi-Level Framework for Large-k-Way Hypergraph Partitioning
Research Manuscript Operator-Level Acceleration for Sparse 3D Object Detection
Research Manuscript Towards Practical Live Migration for Heterogeneous Confidential Virtual Machines
Research Manuscript Chipmodeler: LLM-Aided Reference Model Design for Agile Hardware Verification
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Research Manuscript LRTA: Routability-Driven 3D-Aware Track Assignment with Layer Reassignment
Research Manuscript Expcheck: Dynamic Expert-Aware Checkpointing for Mixture-of-Experts Based Models
Research Manuscript Mappingevolve: LLM-Driven Code Evolution for Technology Mapping
Research Manuscript OpenSUN: An Open Platform for Exploring Scale-Up Network Systems
Research Manuscript RM Poster Session Three
Research Manuscript Winning the Token-Time Wars: Low-Bit LLMs, Faster MoE, and KV-Cache Systems
Research Manuscript TOPCELL: Topology Optimization of Standard Cell via LLMs
Research Manuscript Ciphershield: Safeguarding DNN Inputs from Ciphertext Side-Channels in TEE
Research Manuscript Energyhdc: Intermittent Hyperdimensional Inference on Energy-Harvesting IoT
Engineering Special Session The Heterogeneous Future of Agentic AGI: Challenges and Opportunities!
Research Manuscript Exploiting Function-Family Structure in Analog Circuit Optimization
Research Manuscript eLLM: Elastic Memory Management Framework for Efficient LLM Serving
Research Manuscript WFH-BFs: Dynamic Defense Against DNN Bit-Flips via a Weight Function Hierarchy
Research Manuscript HW-Router: Hardware-Aware Routing for Scalable Multi-LLM Serving
Research Manuscript Securerouter: Encrypted Routing for Efficient Secure Inference
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Research Manuscript CHiRM-DSE: CodeLLM-Based Hierarchical and Rule-Mining Guided DSE for FPGA Accelerators
Research Manuscript Crystal-KV: Efficient KV Cache Management for Chain-of-Thought LLMs via Answer-First Principle
Research Manuscript Efficient HLS Accelerator Floorplan on Multi-Die FPGA Aided by Graph Neural Networks
Research Manuscript Idealsim: Efficient Ideal Scenario Modeling for Processor Upper-Bound Performance Analysis
Student Late Breaking Results: Recoverability-Guided Layer-Wise N:M Sparsity Under Latency Constraints
Research Manuscript Scheduling Cause-Effect Chains Without Timing Anomalies in End to End Latency
Research Manuscript SpArC: Sparse Tensor Accelerator Compilation with Scheduling and Mapping
Engineering Presentation Design Verification Automation (DVA) for PCB Signal and Power Integrity
China
Research Manuscript AccDRC: FPGA Acceleration for VLSI DRC with Cell-Aware Layout Partitioning
Research Manuscript DRCGen: A Controllable DRC Violation Case Generator with Cross-PDK Transferability for Rule-Deck and Tool Validation
Research Manuscript GPU-Fuzz: Finding Memory Errors in Deep Learning Frameworks
Engineering Presentation Capacitance Modeling for Meander Co-Planar Waveguide Devices Used in Quantum Computers
Research Manuscript COLA: Enabling Low-Latency Reads for Flash-Based SSDs via Code Length Adaptation
Research Manuscript LATTE: Legality-Assured Differentiable Timing-Driven Detailed Placement
Engineering Presentation AI-Enabled EDA Cloud Infrastructure and Design Optimization for Next-Generation Semiconductor Design
Research Manuscript Hero: Adaptive Orchestration of Retrieval-Augmented Generation on Heterogeneous Mobile SoC
Research Manuscript MIRAGE: Runtime Scheduling for Multi-Vector Image Retrieval with Hierarchical Decomposition
Research Manuscript OpenSUN: An Open Platform for Exploring Scale-Up Network Systems
Research Manuscript Stone-Skimming: Attacking Big-Data Analytics Applications with Page Table Walk
Engineering Poster Gladiator 3DEM-Driven STA for Cross-Die Timing Signoff in 3DIC Chiplets Heterogeneous Integration
Research Manuscript Cachence: Fine-Grained Cache Partitioning in Both Time and Space
M
Engineering Presentation Deep Reinforcement Learning Paradigm for Analog Design Automation
Engineering Presentation ECO Strategy for BIG DIE SOC Convergence
Engineering Presentation Automated Workload Analysis for Dynamic Voltage Drop Optimization and Faster Power Integrity Signoff in Complex SoC Designs
Engineering Presentation Scalable EMIR Signoff for Very Large SoCs Using Reduced Order Modelling
Research Manuscript Energy-Efficient AI Systems - Cross-Stack Co-Design from Edge to Cloud
Research Manuscript RM Poster Session Four
Research Manuscript Etherssd: An In-Storage Ethereum Analytics Platform with Minimized I/O and Authentication Overhead
Research Manuscript PIMGRAG: A Heterogeneous PIM Architecture for Graph-Based Retrieval-Augmented Generation
Research Manuscript SpecANNS: Accelerating Graph-Based Approximate Nearest Neighbor Search with Speculative In-Storage Computing
Research Manuscript TierANNS: Scalable Graph-Based ANNS with CXL-Enabled Tiered Data Placement
Engineering Presentation Efficient Power Management in USB4 Routers
Research Manuscript FBS: Accelerating CNN Inference over RNS-CKKS with Fewer Bootstrapping Sparsity
Research Manuscript Throughput-Oriented Speculative Decoding via Intra-Device Parallelism
Research Manuscript Cupilot: A Strategy-Coordinated Multi-Agent Framework for CUDA Kernel Evolution
Engineering Presentation AI-Driven Co-Optimization of Power Delivery Network for High-Power Cores in 2.5D Advanced Packaging
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript Accshield: Operator-Aware Robust Scheduling for Fault-Tolerant AI Accelerators
Research Manuscript Coordinated Clip-Wise Gradient Scheduling for Full-Chip ILT via Policy Learning
Research Manuscript Scalable and Adaptive Parallel Training of Graph Transformer on Large Graphs
DAC Pavilion Panel What Are VCs Looking for at DAC?
Engineering Presentation Accelerating Formal Closure on Complex Hardware Designs via AI-Driven Helper Generation
Engineering Presentation The Pursuit of Golden Specification: Leveraging Architecture Formal
Engineering Presentation Architectural Coverage Analysis and ML-Based Automated-Test Generation
Research Manuscript LATTE: Legality-Assured Differentiable Timing-Driven Detailed Placement
Engineering Presentation Automated Validation of Liberty Models
Engineering Presentation Adaptive Multi-Agent Framework for Automated Constraint Generation
Engineering Poster Gladiator Sigma Profiling: Profiling Solution for Power Integrity Signoff
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Engineering Presentation Mixed Transistor Design Closure
Engineering Presentation Silicon Correlation of Voltage Droop Mitigation Scheme
Engineering Presentation Accelerating Full Flat EMIR Sign-Off in Multi-Billion Instance
Engineering Presentation Systematic Methodology for GLS Shift-Over Using Timing Constraint Verification
Engineering Presentation A Hybrid SRAM-DRAM Memory Architecture for Ultra-Low-Power Wakeup in SoCs
Engineering Presentation Design Rule Checking for Rigid-Flex PCB
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Next-Generation 3DIC STCO: AI-Enabled PPA and Cost Optimization Through IEEE P3537 3Dblox
Engineering Presentation A Probe-Based Time-Domain Methodology for Dynamic Thermal Management in Stacked-Die Architectures
Engineering Presentation Early Thermal Analysis and Silicon Correlation for Face-to-Face 3DIC Physical Design
Research Manuscript Etherssd: An In-Storage Ethereum Analytics Platform with Minimized I/O and Authentication Overhead
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
Research Manuscript PIMGRAG: A Heterogeneous PIM Architecture for Graph-Based Retrieval-Augmented Generation
Research Manuscript TRIDENT: An End-to-End Streaming Accelerator for TriSpGEMM
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Engineering Presentation Optimizing Reliability EM Sign-Off for 2nm Mobile SoCs
Engineering Special Session Using Quantum to Design Better Qubits: Engineering the Path from Lab to Scalable Systems
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Research Manuscript Unlocking Automated Datapath Gating via Machine Learning Power Prediction
Research Manuscript Raise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
Research Manuscript Raise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Early, Efficient and Scalable Parasitic-Aware Layout Design Methodology for High-Precision ICs
Engineering Presentation Achieving High-Integrity Safety for 360-Degree Automotive Display Soc's RETIME-IP: A Static Analysis Approach to ASIL-D Compliance
Engineering Presentation INTENT-AWARE RDC ANALYSIS USING MINIMALLY BOOLEAN REASONING
Research Manuscript KERV: Kinematic-Rectified Speculative Decoding for Embodied VLA Models
Research Manuscript Runtime-ADAR: Runtime Anomaly Detection and Attack Recovery in Encrypted DNNs
Research Manuscript Exploiting Function-Family Structure in Analog Circuit Optimization
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Research Manuscript Foundations and Frontiers: Bridging Traditional EDA and Generative AI
Research Manuscript Path-Based Timing Analysis Acceleration via Segment-Level Timing Arc Reuse
Research Manuscript RM Poster Session One
Research Manuscript TRAM: Training Approximate Multiplier Structures for Low-Power AI Accelerators
Research Manuscript Celle: Automated Standard Cell Library Extension via Equality Saturation
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript Athena: Analytical Timing-Aware Pre-Silicon Estimation of Side-Channel Leakage
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Research Manuscript Unlocking Automated Datapath Gating via Machine Learning Power Prediction
Engineering Presentation Automated Validation of Liberty Models
Research Manuscript Floquet-Based Subspace Projection Method for Time-Domain PPV Computation
Research Manuscript Legend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Engineering Presentation Advancing CDC Formal Verification in Low-Power SoCs Using Power Intent and Smart Waiver Techniques
Engineering Presentation Adaptive AI and Additive AI Techniques for High-Sigma Standard Cell Verification
Engineering Presentation Library PPA DTCO with Library Profiler
Engineering Presentation From Design to Defense: Pioneering Pre-Silicon Leakage Detection for Novel ECC Crypto Core
Research Manuscript Hierarchical Boundary Recovery: Overcoming Synthesis Obscurity via SAT Sweeping
Research Manuscript L2L: Logic to Layout Exploration of Standard Cell Library Design
Engineering Presentation ML Based Design Space Prediction for Power Grid Optimization
Engineering Presentation Design Spec to Die-Size Estimation Using ML Based Framework for Automotive SoCs
Engineering Presentation Design Spec to Die-Size Estimation Using ML Based Framework for Automotive SoCs
Engineering Presentation System & Software Design
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Research Manuscript ENACT: Ensemble Neural Fields for Reactive Robot Control
Research Manuscript RM Poster Session Four
Engineering Presentation Past Present and Future of CDC & RDC Glitches: Improved Glitch Checker (IGC)
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
Research Special Session Satreg: Regression-Based Neural Architecture Search for Lightweight Satellite Image Segmentation
Engineering Presentation Hardening Security of HW IPs by Verifying Their Negative Space Formally
Research Manuscript Leveraging AI for Silicon Health: Test, Yield & Fault Tolerance
Research Manuscript Interconnect-Driven System Architecture Innovation
Engineering Presentation Risk Analysis for Chiplets, and Security Architecture
Engineering Poster Gladiator Multi Level EMFI Analysis Flow Using Electromagnetic Field Solver and Chip PDN Model
Engineering Presentation Screening Analog Anomality for Security Vulnerability in Digitally Verified Crypto Cores
Engineering Presentation Crosstalk Effect Prediction and Optimization for Detail Routing Using CNN Models and Reinforcement Learning Flow Framework
Engineering Presentation Crosstalk Hotspot Map Creation at Placement Stage Using CNN UNET Prediction Model
Engineering Presentation Structure Aware Clock Tree Synthesis Using Width-Driven CTS Cell Constraints
Engineering Presentation Routability Optimizing Methodology Using Flexible Pin
Engineering Presentation Fair Play in the Multiplex: Formal Verification of Complex Arbmux Designs
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Research Manuscript Sparsity- and Tolerance-Aware Temporally Redundant Neural Networks
Research Manuscript Chimera: A Unified FHE Accelerator with Enhanced Compatibility for TFHE
Research Manuscript UniNL: Unifying Fragmented Non-Linear Operators for Efficient Edge LLM Inference
Engineering Special Session Bridging Physics and Engineering: Quantum EDA for Superconducting Qubits and Amplifiers
Engineering Presentation BIMEM-RAG: Reinforced Dual Memory Retrieval with Bidirectional Reasoning for RTL Synthesis and Summarization
Engineering Poster Gladiator Cost-Based Partial Subgraph Matching for Circuit Pattern Recognition
Engineering Presentation Graph Isomorphism for Explainable Transistor-Level Circuit Comparison
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
Engineering Presentation Lint-Free: A Generative AI Approach to Large Scale Autonomous RTL-Lint Correction
Engineering Presentation Hierarchical Cost-Efficient IR Methodology for AI SoCs
DAC Pavilion Panel From RTL to Reality: Building Security into the Silicon Lifecycle
N
Engineering Presentation Pipeline-Based Denial of Service Attacks on Embedded RISC-V Core-Based Systems
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Research Manuscript ARC-SRAM: A Memory Subarray with Local Addressing and Reduced Access Energy
Engineering Presentation INTENT-AWARE RDC ANALYSIS USING MINIMALLY BOOLEAN REASONING
Engineering Presentation AI-Accelerated Signoff Verification and Glitch Analysis for Single and Multibit Level Shifters
Engineering Poster Gladiator Multi Level EMFI Analysis Flow Using Electromagnetic Field Solver and Chip PDN Model
Engineering Presentation Screening Analog Anomality for Security Vulnerability in Digitally Verified Crypto Cores
Engineering Presentation Bridging Analog Fidelity and Digital Performance in Chiplet Interface Mixed-Signal IP Verification
Research Manuscript RM Poster Session Seven
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Scalable Verification Methodology for Stacked 3D Chiplet-Based Designs Using SIP Flow
Engineering Presentation Analysis of Power Delivery Network (PDN) in 12-High HBM 3DIC for Heterogeneous Integration
DAC Pavilion Panel Cooley's DAC Troublemaker Panel
Research Manuscript RM Poster Session Five
DAC Pavilion Panel Is EDA AI Delivering on Its ROI Promise?
Engineering Presentation Novel Methodology for in Context Blockage Modification for High-Speed Global Clock Routing
Engineering Special Session AI and Digital Techniques Powering the Future of Analog Design
Engineering Presentation An Optimized Full-Chip Analog Mixed-Signal (AMS) Verification Approach for PVT Calibration in FPGA Systems
Engineering Presentation Bridging Analog Fidelity and Digital Performance in Chiplet Interface Mixed-Signal IP Verification
Engineering Presentation Comprehensive SoC Power System Verification Using Optimized Mixed-Signal Verification Methodology
Research Manuscript Pioneering AI and GPU-Powered Techniques for Advanced Timing Analysis and Optimization
Research Manuscript RM Poster Session One
Engineering Presentation New Thermal Analysis Workflow for 3DIC Designs
Engineering Presentation Designing Power- and Area-Efficient Custom NPUs for Edge AI
DAC Pavilion Panel Build vs Buy: Who Owns the Intelligence Behind Tomorrow's Chips?
Engineering Poster Gladiator Accurate Full-Custom Thermal and EM Analysis for Advanced Nodes
Research Manuscript RAM-CGRA: Reachability-Aware Mapping for CGRAs
Research Manuscript RM Poster Session Six
Research Manuscript Revolutionizing Synthesis Flows
Research Manuscript REACT: Rapid Error-Tolerant Activation Compressor for Efficient Transformer Training
Research Manuscript Vten: Tensor-Centric Verification Framework for Domain-Specific Accelerators
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Research Manuscript PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification
Research Manuscript TRINE: A Token-Aware, Runtime-Adaptive FPGA Inference Engine for Multimodal AI
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Research Manuscript TRIDENT: An End-to-End Streaming Accelerator for TriSpGEMM
Research Manuscript Advances in 3D/2.5D Physical Design
Research Manuscript Light-Bound Transformers: Hardware-Anchored Robustness for Silicon-Photonic Computer Vision Systems
Research Manuscript RM Poster Session Two
Engineering Special Session Spec-Tacular! Reinventing Design Specifications with AI
Research Special Session Quantum Stack Attack: Building the Machine
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Engineering Special Session Gaps Between MBSE and Semiconductor Design in Aerospace and Defense, Will They Ever Connect?
Engineering Special Session Gaps Between MBSE and Semiconductor Design in Aerospace and Defense, Will They Ever Connect?
Engineering Presentation ENHANCED AUTOMATION FOR GENERATING LOGIC-OPTIMIZATION ECOs (EAGLE) IN SIGNOFF
Research Special Session Entertainment AI and Distributed Fan Experience
Engineering Presentation A Scalable Timing Analysis and Closure Methodology for Ultra-Large Designs
O
Engineering Presentation Advancing Silicon Lifecycle Management with Embedded Trace
Engineering Presentation Novel Methodology for in Context Blockage Modification for High-Speed Global Clock Routing
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Research Manuscript Decoding the Past: Recovering Sensitive Data from SRAM Aging Imprints
United States of America
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Adaptive QoS Optimization for SoC Performance Enhancement Using Dueling Double Deep Q-Networks
Research Manuscript SCOUT: Thermal-Aware SRAM Allocation for Real-Time DNN Tasks on Edge TPU
Research Manuscript Sparsity- and Tolerance-Aware Temporally Redundant Neural Networks
Research Manuscript ENACT: Ensemble Neural Fields for Reactive Robot Control
Engineering Presentation Ai&cell Based Analog Circuit Topology Generator(ctgen)
Engineering Presentation Flexible NoC IP: Software Based Configuration and Fast Performance Validation
Engineering Presentation Staged Snapshots for Firmware-Hardware Collaborative Debug
Research Manuscript Freebit: Unleashing the Performance Potential of Low-Bit LLMs Through PIM
P
Engineering Presentation Pipeline-Based Denial of Service Attacks on Embedded RISC-V Core-Based Systems
Engineering Presentation Google's Faster and Earlier Chip Finishing with Seamless Power Grid Enhancement Integration
Engineering Presentation Next-Generation Power Grid Robustness: Automated Via Enhancement with Calibre
Engineering Poster Gladiator Faster Database Readiness for Physical Verification: With Calibre Design Enhancer PVR
Engineering Presentation Google's Faster and Earlier Chip Finishing with Seamless Power Grid Enhancement Integration
Engineering Presentation Comprehensive Physical Verification Approach for Heterogeneous 2.5/3D Integration
Engineering Presentation Channel Width Optimization for IR Drop Reduction in Advanced SoCs
Engineering Poster Gladiator Faster Database Readiness for Physical Verification: With Calibre Design Enhancer PVR
Engineering Special Session Spec-Based Acceleration fo Design Verification From Start to Finish
China
China
Engineering Presentation Clean Implementations - Untangle the Distractions with Zen Insights
Engineering Presentation Efficient Routing and Connectivity Repair for Large-Scale Hierarchical Metal Networks
Engineering Presentation Free Hand Routing- Sketch to Layout
Research Manuscript Can Asymmetric Tile Buffering Be Beneficial?
Engineering Presentation UVM-MS: A Novel Approach to Mixed-Signal IP Verification
Engineering Presentation Using Arm Native Acceleration with VLAB Virtual Platforms
Engineering Presentation New Thermal Analysis Workflow for 3DIC Designs
Engineering Presentation Staged Snapshots for Firmware-Hardware Collaborative Debug
Research Manuscript Notsotiny: A Large, Living Benchmark for RTL Code Generation
Research Manuscript Flip-FET-Based VLSI Design Framework with Congestion-Aware Dual-Side Routing
Engineering Presentation Adaptive QoS Optimization for SoC Performance Enhancement Using Dueling Double Deep Q-Networks
Research Manuscript ARTEMIS: Adaptive RL Test-Time Ensemble for Model Inference in SSD Testing
Engineering Presentation A Security-Centric Virtual Platform for Accelerating Shift-Left Security Firmware Development
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Research Manuscript Semi-Virtual Addressing to Enhance Memory Safety on Microcontrollers
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Engineering Presentation Revisiting PDN at the MOL Boundary: A Placement-Aware Power Delivery Flow
Engineering Presentation Routability Optimizing Methodology Using Flexible Pin
Research Manuscript Differentiable Fill Insertion with Explicit Delay Optimization
Research Manuscript Flip-FET-Based VLSI Design Framework with Congestion-Aware Dual-Side Routing
Engineering Presentation SLC-Based Real-Time Traffic Buffering with DRAM Row-Aware Write Back
Engineering Presentation Low Power Optimization Through Fast and Accurate Time-Based Power Analysis
Engineering Presentation Local Layout Effect Coverage Check Using Artificial Neural Network-Based Surrogate Models
Research Manuscript Test Point Insertion with ATPG-Free Self-Supervised Learning
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Engineering Presentation Zero‑Glitch Confidence: An End‑to‑End Static, Formal & Simulation Methodology
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation Morph-Inspect: Structural Assurance for Inserted Logic
Analyst Presentation Semi Analysis – Market Analyst
Engineering Presentation SELECT: Sensitivity Based Exploration and Localisation of Event-Wise Correlated Tokens for Test Generation
Engineering Presentation STEER: Simulation of Templates Engine for Efficient Resource Usage
Engineering Presentation From Bottleneck to Breakthrough! Accelerating Circuit Verification Beyond Expectations
Engineering Special Session The Next Decade of Semiconductors And Transformation Through Industry, Academia, and Government
Engineering Presentation A Hybrid SRAM-DRAM Memory Architecture for Ultra-Low-Power Wakeup in SoCs
Engineering Presentation TAWT: Towards Autonomous Wrapper Tuning
Engineering Special Session Digital Inside Analog: Continuous-Time Pipelined ADCs for Wideband Analog-to-Digital Conversion
Engineering Poster Gladiator Outsmarting State Space Complexity Through Proven Reset Abstraction Stratergies
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript KL-MoE: A Hierarchical MoE Pruning Framework Exploiting KL Divergence
Engineering Presentation Correct-by-Construction Framework for Robustness Against Divergent Voltage Drops and High Clock Divergence
Engineering Presentation Differential Validator: Ensuring SoC ROM to Hierarchical Blocks Node Voltage Integrity
Research Manuscript Celle: Automated Standard Cell Library Extension via Equality Saturation
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Next-Generation 3DIC STCO: AI-Enabled PPA and Cost Optimization Through IEEE P3537 3Dblox
Engineering Presentation An Adjustable Length Compression Method for MBIST Repair Information
Research Manuscript Differentiable Dreams: GPU-Powered Litho Gets Its Gradient Groove Back
Engineering Presentation A Novel Automated Methodology Python Driven for Test Coverage Improvement via Fault Injection and Simulation
Engineering Poster Gladiator A Method to Automate the Conversion of .def File into .save.io One to Speed up the BE Digital Flow in Analog-on-Top Designs
Engineering Presentation OoB Generator: A Novel Method to Improve the Productivity of RTL-to-Layout Using Python
Engineering Presentation Maximize RoI Through Glitch Power Optimization at Early Design Stage
Additional Meeting Additional Meeting - SIGDA Vision 2030 Town Hall
Research Manuscript RM Poster Session Six
Additional Meeting LLM Benchmarking for Chip Design – Live Demos and Strategic Outlook
Research Manuscript Raise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
Research Manuscript Efficient & Edge-Ready AI Systems
Research Manuscript Hyperlidar: Adaptive Post-Deployment LiDAR Segmentation via Hyperdimensional Computing
Research Manuscript RM Poster Session Six
Engineering Presentation A Programmable, Synthesizable CMOS Analog Optimization IP Core for Real-Time Control
Engineering Presentation AI-Assisted EDA Tools Development
Engineering Presentation Enabling AI Agent Flows for Verification Triage & Debug
Engineering Presentation FPGA-to-ASIC Conversion via Hierarchical Wrapping
Engineering Presentation Morph-Inspect: Structural Assurance for Inserted Logic
Research Manuscript RM Poster Session Nine
Engineering Presentation No Credit Where Credit Is Due: Quiesced Formal Check for PCIe Crediting
Research Manuscript Escaping Flatland: A Placement Flow for Enabling 3D FPGAs
Engineering Presentation Efficient IR-Aware Powergrid Optimization
Research Manuscript Parallelizing Complementary Approximate Reachability
Research Manuscript CPA-BNN: A Secure and Efficient CIM and PUF Architecture for BNN Accelerator
Engineering Presentation A Novel Automated Methodology Python Driven for Test Coverage Improvement via Fault Injection and Simulation
Engineering Poster Gladiator A Method to Automate the Conversion of .def File into .save.io One to Speed up the BE Digital Flow in Analog-on-Top Designs
Engineering Presentation OoB Generator: A Novel Method to Improve the Productivity of RTL-to-Layout Using Python
Engineering Presentation Formally Validating Industry Standard BCH‑ECC/CRC Codes – A Step by Step Recipe
Q
Research Manuscript An Energy-Efficient Dataflow Architecture for Efficient MoE Model Inference
Research Manuscript Inferweave: Efficient LLM Inference on the MT-3000 Processor
Research Manuscript Flowplace: Flow Matching for Chip Placement
Research Manuscript How Can Reinforcement Learning Achieve Expert-Level Placement?
Research Manuscript Integrated Timing-Driven Placement for Hybrid-Bonding-Based Face-to-Face 3D ICs
Research Manuscript Amoeba: Runtime Tensor Parallel Transformation for LLM Inference Services
Research Manuscript OpenSUN: An Open Platform for Exploring Scale-Up Network Systems
Research Manuscript PRS: An Efficient Parallel SAT Framework
Research Manuscript NVLLM: A 3D NAND-Centric Architecture Enabling Edge on-Device LLM Inference
Research Manuscript Lhgstore: An In-Memory Learned Graph Storage for Fast Updates and Analytics
Research Manuscript CQ-CiM: Hardware-Aware Embedding Shaping for Robust CiM-Based Retrieval
Research Manuscript Probabilistic Memory Design for Efficient Trustworthy Edge Intelligence
Research Manuscript RM Poster Session Six
Research Manuscript Silicon’s Last Stand: Defending Against Quantum and Architectural Decay
Research Manuscript UniNL: Unifying Fragmented Non-Linear Operators for Efficient Edge LLM Inference
Research Manuscript DRCA: Reliable Bitwise Logic in DRAM via Dual-Rail Compute and Access
China
Research Manuscript Emudrop: A Minimalistic, Hardware-Based Emulation Detection Approach Through Intel Reserved Opcodes
Research Manuscript PMU-Faker: The Apparently Harmless Performance Monitoring Unit Events Are Actually Harmful
Research Manuscript Seeing the Unseen: Reverse Engineering Hidden PMU Events by Differential Analysis and Simulation Validation
Research Manuscript Unveiling the Security Risks Driven by the Hardware Interrupts
Research Manuscript iPCL-M: Pre-Training of Chip Layout for Metrics Evaluation and Optimization
Research Manuscript Actionflow: A Pipelined Action Acceleration for Vision Language Models on Edge
Research Manuscript PMU-Faker: The Apparently Harmless Performance Monitoring Unit Events Are Actually Harmful
Research Manuscript Seeing the Unseen: Reverse Engineering Hidden PMU Events by Differential Analysis and Simulation Validation
Research Manuscript Unveiling the Security Risks Driven by the Hardware Interrupts
Research Manuscript Parallel Combinational Equivalence Checking Through Factored Form Sharing
Engineering Presentation Hunting RTL Glitches Before They Burn Power: A Practical RTL Success Story
Engineering Poster Gladiator Faster Database Readiness for Physical Verification: With Calibre Design Enhancer PVR
R
Engineering Presentation Differential Validator: Ensuring SoC ROM to Hierarchical Blocks Node Voltage Integrity
Engineering Presentation Efficient Power Modeling of Multi-Domain Clock Gating Circuits
Engineering Presentation Physics-Aware CNN-Based IR Drop Risk Prediction for Fast and Reliable SRAM Placement Optimization
Research Manuscript RM Poster Session One
Engineering Special Session Gaps Between MBSE and Semiconductor Design in Aerospace and Defense, Will They Ever Connect?
Engineering Special Session The Heterogeneous Future of Agentic AGI: Challenges and Opportunities!
Engineering Presentation AI‑Assisted Formal Verification: Improving Practical Adoption and Scalability
Engineering Presentation From Bottleneck to Breakthrough! Accelerating Circuit Verification Beyond Expectations
Engineering Presentation Accelerating Full Flat EMIR Sign-Off in Multi-Billion Instance
Research Manuscript LUNA: LUT-Based Neural Architecture for Fast and Low-Cost Qubit Readout
Engineering Presentation A Real-Time Metric‑Driven Scorecard for Quantifying and Benchmarking Physical‑Design Quality and Deployment Progress
Engineering Presentation Advanced Automation Framework for Clock and Reset Management in SoC Designs – Bridging Design Intent, Verification, Test and Implementation
Engineering Presentation Advanced Hard IP Integration Requirement Extraction and Checker
Engineering Presentation Advanced Hard IP Integration Requirement Extraction and Checker
Engineering Presentation Integrated Design Approach for Robust and Area-Efficient IO Ring in Advanced Process Nodes
Engineering Presentation AI-Enhanced Early Thermal Aware Module Placement for 3DIC PPA Optimization
Engineering Presentation Next-Generation 3DIC STCO: AI-Enabled PPA and Cost Optimization Through IEEE P3537 3Dblox
Engineering Presentation Bridging Analog Fidelity and Digital Performance in Chiplet Interface Mixed-Signal IP Verification
Research Manuscript Attackonctf: Defending Hardware Security Competition Benchmarks in the Age of LLMs
Research Manuscript RM Poster Session Three
Research Manuscript Hidden in Plain Sight: Designing Systems for Private Intelligence
Research Manuscript RM Poster Session One
Engineering Poster Gladiator Sigma Profiling: Profiling Solution for Power Integrity Signoff
Engineering Presentation Formal Verification Engineering for Integer Vector Neural Network Instructions
Engineering Special Session AI and Multi‑die: A Reinforcing Cycle
Engineering Presentation Cognitively Guided EM-Aware Routing Approach for Efficient Layout Implementation
Engineering Presentation Matching Constraint Driven Synchronous Array Implementation for High-Performance ADCs
DAC Pavilion Panel Build vs Buy: Who Owns the Intelligence Behind Tomorrow's Chips?
Engineering Presentation Multi-Cycle Dynamic Vectorless Analysis for Improved PDN Signoff
Engineering Presentation Design Rule Checking for Rigid-Flex PCB
Research Manuscript DRCA: Reliable Bitwise Logic in DRAM via Dual-Rail Compute and Access
Engineering Presentation IP Design for Mixed-Signal and High-Speed SoCs
Engineering Poster Gladiator A Unified Silicon-Correlated Characterization Flow for High-PPA Standard Cell Libraries at Advance Nodes
Engineering Presentation Automated Validation of Liberty Models
Engineering Presentation Liberty-Based Profiling for IP Benchmarking
Engineering Presentation A Unified QA Framework for Intel Library Validation Using Siemens Solido Crosscheck
Engineering Presentation Boosting IP Quality and Productivity Through Ipdelta Profile-Driven Change Detection
Engineering Presentation Hierarchical Cost-Efficient IR Methodology for AI SoCs
Engineering Presentation Track Analyzer + Visualizer
Engineering Presentation Pipeline-Based Denial of Service Attacks on Embedded RISC-V Core-Based Systems
Engineering Presentation Fair Play in the Multiplex: Formal Verification of Complex Arbmux Designs