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:20240626T180033Z
LOCATION:Level 2 Lobby
DTSTART;TZID=America/Los_Angeles:20240625T180000
DTEND;TZID=America/Los_Angeles:20240625T190000
UID:dac_DAC 2024_sess236_RESEARCH918@linklings.com
SUMMARY:AutoFlow: Inferring Message Flows From System Communication Traces
DESCRIPTION:Work-in-Progress Poster\n\nBardia Nadimi and Hao Zheng (Univer
 sity of South Florida)\n\nThis paper proposes a novel method for automatic
 ally inferring message flow specifications from the communication traces o
 f a system-on-chip (SoC) design that captures messages exchanged among the
  components during a system execution. \nThe inferred message flows charac
 terize the communication and coordination of components in a system design
  for realizing various system functions, and they are essential for SoC va
 lidation and debugging.\nThe proposed method relieves the burden of manual
  development and maintenance of such specifications on human designers. \n
 Our method also develops a new accuracy metric, acceptance ratio, to evalu
 ate the quality of the mined specifications instead of the specification s
 ize often used in the previous work, enabling more accurate specifications
  to be mined. \nThe effectiveness of the proposed method is evaluated on b
 oth synthetic traces and traces generated from executing several system mo
 dels in GEM5.\nIn both cases, the proposed method achieves superior accura
 cies compared to a previous approach.\n\nTopic: AI, Autonomous Systems, Cl
 oud, Design, EDA, Embedded Systems, IP, Security
END:VEVENT
END:VCALENDAR