TY  - RPRT
TI  - FPGA Technology Mapping Using Sketch-Guided Program Synthesis
AU  - Gus Henry Smith
AU  - Ben Kushigian
AU  - Vishal Canumalla
AU  - Andrew Cheung
AU  - Steven Lyubomirsky
AU  - Sorawee Porncharoenwase
AU  - René Just
AU  - Gilbert Louis Bernstein
AU  - Zachary Tatlock
PY  - 2024
DO  - 10.1145/3620665.3640387
UR  - https://arxiv.org/abs/2401.16526
ID  - 2401.16526
ER  -