BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
X-LIC-LOCATION:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260402T024533Z
LOCATION:3003\, Level 3
DTSTART;TZID=America/Los_Angeles:20250625T170000
DTEND;TZID=America/Los_Angeles:20250625T171500
UID:dac_DAC 2025_sess130_RESEARCH951@linklings.com
SUMMARY:MAGCS: Multi-Agent Guided Configuration Search for Optimization Fa
 ult Detection in Logic Synthesis
DESCRIPTION:Peiyu Zou and Xiaochen Li (Dalian University of Technology); S
 hikai Guo (Dalian Maritime University); Weihong Sun and Yuyao Xu (Hi-Think
  Technology, Corp); and He Jiang (Dalian University of Technology)\n\nLogi
 c synthesis tools are crucial to translate high-level descriptions into op
 timized gate-level netlists. However, complex optimization operations and 
 operation configurations can cause synthesis faults. To address this, we p
 ropose MAGCS, a fault detection method using multi-agent reinforcement lea
 rning to dynamically refine optimization sequences. MAGCS consists of thre
 e components: a test program selector that applies feature extraction and 
 cosine similarity to curate diverse test programs, an optimization selecto
 r using the A2C algorithm to adaptively adjust operations and configuratio
 ns, and an optimization fault verifier performing equivalence checks to pi
 npoint optimization-induced faults. Using MAGCS, we identified 32 confirme
 d faults on Vivado and Yosys, all of which are resolved. MAGCS received re
 cognition from the Vivado community for its significant contributions to t
 ool improvement.\n\nTopics: EDA\n\nTracks: EDA2: Design Verification and V
 alidation\n\nSession Chairs: Chung-Yang Ric Huang (National Taiwan Univers
 ity) and Nan Wu (George Washington University)\n\n
END:VEVENT
END:VCALENDAR