notesum.ai
Published at November 17Scaling Program Synthesis Based Technology Mapping with Equality Saturation
cs.PL
cs.AR
Released Date: November 17, 2024
Authors: Gus Henry Smith1, Colin Knizek2, Daniel Petrisko1, Zachary Tatlock1, Jonathan Balkind3, Gilbert Louis Bernstein1, Haobin Ni1, Chandrakana Nandi1
Aff.: 1University of Washington; 2University of California, Berkeley; 3University of California, Santa Barbara
![[Uncaptioned image]](https://arxiv.org/html/2411.11036v2/extracted/6010437/figures/dsp_impl.drawio.png)