@misc{indiciaea82a9f2aad0d,
  title = {FPGA Technology Mapping Using Sketch-Guided Program Synthesis},
  author = {Gus Henry Smith and Ben Kushigian and Vishal Canumalla and Andrew Cheung and Steven Lyubomirsky and Sorawee Porncharoenwase and René Just and Gilbert Louis Bernstein and Zachary Tatlock},
  year = {2024},
  doi = {10.1145/3620665.3640387},
  url = {https://arxiv.org/abs/2401.16526},
  note = {Source identifier: 2401.16526}
}