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:20240626T180034Z
LOCATION:3004\, 3rd Floor
DTSTART;TZID=America/Los_Angeles:20240625T143000
DTEND;TZID=America/Los_Angeles:20240625T144500
UID:dac_DAC 2024_sess168_RESEARCH655@linklings.com
SUMMARY:E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for 
 Logic Synthesis
DESCRIPTION:Research Manuscript\n\nChen Chen and Guangyu Hu (Hong Kong Uni
 versity of Science and Technology (HKUST)); Dongsheng Zuo (The Hong Kong U
 niversity of Science and Technology (Guangzhou)); Cunxi Yu (University of 
 Maryland, College Park); Yuzhe Ma (The Hong Kong University of Science and
  Technology (Guangzhou)); and Hongce Zhang (Hong Kong University of Scienc
 e and Technology (HKUST))\n\nLogic synthesis plays a crucial role in the d
 igital design flow. It has a decisive influence on the final Quality of Re
 sults (QoR) of the circuit implementations. However, existing multi-level 
 logic optimization algorithms often employ greedy approaches with a series
  of local optimization steps. Each step breaks the circuit into small piec
 es (e.g., k-feasible cuts) and applies incremental changes to individual p
 ieces separately. These local optimization steps could limit the explorati
 on space and may miss opportunities for significant improvements. To addre
 ss the limitation, this paper proposes using e-graph in logic synthesis. T
 he new workflow, named E-Syn, makes use of the well-established e-graph in
 frastructure to efficiently perform logic rewriting. It explores a diverse
  set of equivalent Boolean representations while allowing technology-aware
  cost functions to better support delay-oriented and area-oriented logic s
 ynthesis. Experiments over a wide range of benchmark designs show our prop
 osed logic optimization approach reaches a wider design space compared to 
 the commonly used AIG-based logic synthesis flow. It achieves on average 1
 5.29% delay saving in delay-oriented synthesis and 6.42% area saving for a
 rea-oriented synthesis.\n\nTopic: EDA\n\nKeyword: RTL/Logic Level and High
 -level Synthesis\n\nSession Chairs: Giovanni De Micheli (EPFL) and Cunxi Y
 u (University of Maryland)
END:VEVENT
END:VCALENDAR
