Close

Organization

<
George Washington University
Presentations
Tutorial
From Vibe Coding to Silicon: Engineering Agentic Systems for Hardware Design
1:30pm - 5:00pm PDT Sunday, July 26 Mtg Room 202AB
Late Breaking Results
Neural Subgraph Matching for Hardware Decompilation in Gate-Level Netlists
5:19pm - 5:22pm PDT Monday, July 27 Exhibit Hall
Sessions
Research Manuscript
From SAT to IC3: Modern Proof Techniques for Hardware Correctness
10:30am - 12:30pm PDT Wednesday, July 29 Mtg Room 202AB
EDA
EDA2. Design Verification and Validation
Research Manuscript
Autonomous Synthesis and Intelligent Optimization for Analog and RF Circuits
3:30pm - 5:30pm PDT Wednesday, July 29 Mtg Room 101B
EDA
EDA6. Analog CAD, Simulation, Verification and Test
Research Manuscript
RM Poster Session Nine
5:30pm - 6:00pm PDT Wednesday, July 29
Systems
EDA6. Analog CAD
Simulation
Verification and Test; Design
DES1-I. SoC
Heterogeneous
and Reconfigurable Architectures; AI
AI2-II. AI/ML Algorithms and Models; EDA
EDA7-I. Physical Design and Verification; AI
SEC2. Hardware Security: Primitives
Architecture
SYS5. Embedded Memory and Storage Systems; EDA
AI5-II. AI/ML System and Platform Design; Security
Design & Test
Contributors
Nan Wu
Nan Wu
Session Chairs
Weidong Cao
Nan Wu