Scaling Program Synthesis Based Technology Mapping with Equality Saturation

Autor:	Smith, Gus Henry, Knizek, Colin, Petrisko, Daniel, Tatlock, Zachary, Balkind, Jonathan, Bernstein, Gilbert Louis, Ni, Haobin, Nandi, Chandrakana
Rok vydání:	2024
Předmět:	Computer Science - Programming Languages Computer Science - Hardware Architecture
Druh dokumentu:	Working Paper
Popis:	State-of-the-art hardware compilers for FPGAs often fail to find efficient mappings of high-level designs to low-level primitives, especially complex programmable primitives like digital signal processors (DSPs). New approaches apply sketch-guided program synthesis to more optimally map designs. However, this approach has two primary drawbacks. First, sketch-guided program synthesis requires the user to provide sketches, which are challenging to write and require domain expertise. Second, the open-source SMT solvers which power sketch-guided program synthesis struggle with the sorts of operations common in hardware -- namely multiplication. In this paper, we address both of these challenges using an equality saturation (eqsat) framework. By combining eqsat and an existing state-of-the-art program-synthesis-based tool, we produce Churchroad, a technology mapper which handles larger and more complex designs than the program-synthesis-based tool alone, while eliminating the need for a user to provide sketches. Comment: Workshop on Open-Source EDA Technology (WOSET) 2024
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2411.11036 Zobrazit plný text záznamu View this record from Arxiv