High-level synthesis (HLS) is a process that automatically translates a
software program in a high-level language into a low-level hardware
description. However, the hardware designs produced by HLS tools still suffer
from a significant performance gap compared to manual implementations. This is
because the input HLS programs must still be written using hardware design
principles.
Existing techniques either leave the program source unchanged or perform a
fixed sequence of source transformation passes, potentially missing
opportunities to find the optimal design. We propose a super-optimization
approach for HLS that automatically rewrites an arbitrary software program into
efficient HLS code that can be used to generate an optimized hardware design.
We developed a toolflow named SEER, based on the e-graph data structure, to
efficiently explore equivalent implementations of a program at scale. SEER
provides an extensible framework, orchestrating existing software compiler
passes and hardware synthesis optimizers.
Our work is the first attempt to exploit e-graph rewriting for large software
compiler frameworks, such as MLIR. Across a set of open-source benchmarks, we
show that SEER achieves up to 38x the performance within 1.4x the area of the
original program. Via an Intel-provided case study, SEER demonstrates the
potential to outperform manually optimized designs produced by hardware
experts.

高级综合（HLS）是将高级语言中的软件程序自动转换为低级硬件描述的过程。本文提出了一种超级优化方法，通过使用 e-graph 重写技术自动将任意软件程序改写为高效的 HLS 代码，以生成优化的硬件设计。通过对开源基准测试的一组实验，我们展示了 SEER 在提高性能的同时仅占用 1.4 倍的面积，通过英特尔提供的案例研究，SEER 证明了其能够超越硬件专家手动优化设计的潜力。