SEER：使用 MLIR 和 E 图重写的高层次综合超优化探索器

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