FPGA Technology Mapping Using Sketch-Guided Program Synthesis.

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, Ren Just, Gilbert Louis Bernstein, Zachary Tatlock

Browse the full ASPLOS paper archive.