2026/09/08
Show tracks
| Time | Track 1 | Track 2 | Track 3 |
|---|---|---|---|
| 09:00 – 09:10 |
Opening — Lu Dai, Chairman of the Board, Accellera Systems Initiative
|
||
| 09:10 – 09:20 |
Opening — Robert, Chi-Kang Chen, General Chair, DVCon Taiwan
|
||
| 09:20 – 10:00 | Keynote Speaker 1 — Richard An, Realtek |
||
| 10:00 – 10:40 | Keynote Speaker 2 — Moses Satyasekaran, Siemens EDA |
||
| 10:40 – 11:00 |
Morning Break (Setting up the stage for Panel Discussion)
|
||
| 11:00 – 12:00 | Panel Discussion |
||
| 12:00 – 13:20 |
Lunch Break
|
||
| Track Focus | Track 1-1IP Verification & Debug | Track 2-1Agentic AI – I | Track 3-1Modeling & Coverage – I |
| 13:20 – 13:40 | Session 1.1DVCon Japan |
Sessions 2.127. “Agentic Coverage Closure: Accelerating Functional Verification via Trusted Multi-Agent Platforms” |
Sessions 3.1Cadence Tutorial 2 |
| 13:40 – 14:00 | Session 1.2TBD |
Sessions 2.216. “AI-Driven Handoff Acceleration: Slashing BIU Verification Loops via Autonomous UVM Generation” |
Sessions 3.207. “Breaking the PAM4 Barrier: A Coverage Driven Framework for PCIe Gen6/Gen7 Equalization and Redo Equalization” |
| 14:00 – 14:20 |
Session 1.3
|
Sessions 2.318. “Accelerating Complex Memory LSU and Ordering RTL Customization via Autonomous AI Agents” |
Sessions 3.311. “Practical Strategies for Accelerated SoC Sign-off” |
| 14:20 – 14:40 | Session 1.48. “Enabling Cross-Transport NVMe Verification Reuse Using a Modular Layering Architecture” |
Sessions 2.420. “Black-Box FPGA Prototyping and Fault Injection Verification of a Dual-CPU SoC via Autonomous, High-Efficiency RCA Pipelines with AI Agent” |
Sessions 3.415. “AI-Augmented Constrained Randomized Framework with Feature-Specific Dynamic Customization for Lpddr6 based design Verification Coverage” |
| 14:40 – 15:00 | Session 1.528. “How Agents Make Formal Verification Scalable for Modern Designs” |
Sessions 2.524. “IP Functional Model Verification with HW-Focused AI Agents” |
Sessions 3.526. “Accelerating Functional Safety Fault Debug Using AI-Powered WaveMining and Signal Analysis” |
| 15:00 – 15:20 |
Afternoon Break
|
||
| Track Focus | Track 1-2CDC & Academia | Track 2-2Agentic AI – II | Track 3-2Modeling & Coverage – II |
| 15:20 – 15:40 | Session 1.6 ( 40 mins talk )04. “CDC-RDC Verification Standard 1.0 for Interoperable Abstract Model” |
Sessions 2.617. “No Anymore Tedious but Necessary, No Anymore Wild Guess” |
Sessions 3.630. “Closing the Verification Blind Spot in AI-Accelerated SoC Design” |
| 15:40 – 16:00 | Sessions 2.713. “Toward AI-Native Power Optimization” |
Sessions 3.721. “Using AI to Help Light Up Latency Debug with Transactions” |
|
| 16:00 – 16:20 | Session 1.814. “Beyond Boolean Limits Next-Generation Static Verification for Microarchitectural Integrity, CDC, Connectivity, and Hardware Security” |
Sessions 2.832. “From Spec to Sign-Off: Automating the SoC Design Verification Lifecycle with Agentic AI” |
Sessions 3.806. “From RTL+Design Spec to Cycle-True C: An AI-Assisted Bit-Match Verification Flow for TX DAC CAL” |
| 16:20 – 16:40 | Session 1.905. “Feature-Centric Code Coverage (FCC): Transforming RTL Code Coverage into Dynamic Feature Verification Artifacts” |
Sessions 2.919. “Integrating a Domain-Specific AI Agent Framework and Open GAI Standards for Accelerating Shift-Left RTL Design and Verification” |
Sessions 3.929. “From Assumption to Confidence: Closing the Spec-to-Silicon Gap using HW/SW Co-verification” |
| 16:40 – 17:00 | — | Sessions 2.A31. “AIDE: Extending AI-Augmented Development Environments to CAD, Verification, and End-User Applications” |
Sessions 3.A
|
| 17:00 – 17:30 |
Closing, Awards, and Lucky Draw.
|
||
Showing Track 1, Track 2, and Track 3.
