Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
Gus Henry Smith, Colin Knizek, Daniel Petrisko +5
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 d…
cs.PL2024
Generation of Compiler Backends from Formal Models of Hardware
Gus Henry Smith
Compilers convert between representations -- usually, from higher-level, human writable code to lower-level, machine-readable code. A compiler backend is the portion of the compile…