用程序重写枚举硬件-软件分裂
Enumerating Hardware-Software Splits with Program Rewriting
摘要：
软硬件协同设计中的一个核心问题是设计空间的绝对大小。如果没有一套ISA来约束硬件-软件接口，设计空间就会爆炸。这项工作提出了一种策略，用于管理机器学习推理工作负载和加速器领域内的大量硬件-软件设计空间。我们首先提出了EngineIR，一种新的语言，用于在单个程序中表示机器学习硬件和软件。然后，使用等式图--编译器文献中的一种数据结构--我们提出了一种通过重写我们的表示来有效地枚举设计空间的方法。
英文摘要：
A core problem in hardware-software codesign is in the sheer size of the design space. Without a set ISA to constrain the hardware-software interface, the design space explodes. This work presents a strategy for managing the massive hardware-software design space within the domain of machine learning inference workloads and accelerators. We first propose EngineIR, a new language for representing machine learning hardware and software in a single program. Then, using equality graphs -- a data structure from the compilers literature -- we suggest a method for efficiently enumerating the design space by performing rewrites over our representation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
