Close

Session

Research Manuscript: Scaling, Learning, and Parallelizing the Future of Verification and Synthesis
DescriptionThis session explores advanced methods in the verification and validation of design, focusing on scalable, parallel, and learning-driven approaches. Papers presented cover innovations such as GPU-accelerated RTL simulation, fuzzing frameworks for network-on-chip verification, and multi-agent guided optimization for logic synthesis. With a focus on simulation, scaling, and parallelization, the research presented pushes the boundaries of modern verification practices, addressing complex challenges and offering more efficient, automated solutions for large-scale designs.
Event TypeResearch Manuscript
TimeWednesday, June 253:30pm - 5:30pm PDT
Location3003, Level 3
Topics
EDA
Tracks
EDA2: Design Verification and Validation
Presentations
3:30pm - 3:45pm PDTInterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework
EDA2: Design Verification and Validation
3:45pm - 4:00pm PDTMulticore Environment State Representation for Agent-Directed Test Generation
EDA2: Design Verification and Validation
4:00pm - 4:15pm PDTSIMAX: Accelerating RTL Simulation for Large-Scale Design
EDA2: Design Verification and Validation
4:15pm - 4:30pm PDTInsights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design
EDA2: Design Verification and Validation
4:30pm - 4:45pm PDTGEM: GPU-Accelerated Emulator-Inspired RTL Simulation*
EDA2: Design Verification and Validation
4:45pm - 5:00pm PDTSimulation-based Parallel Sweeping: A New Perspective on Combinational Equivalence Checking
EDA2: Design Verification and Validation
5:00pm - 5:15pm PDTMAGCS: Multi-Agent Guided Configuration Search for Optimization Fault Detection in Logic Synthesis
EDA2: Design Verification and Validation
5:15pm - 5:30pm PDTParallel Dynamic Partitioning for Datapath Combinational Equivalence Checking
EDA2: Design Verification and Validation