论文标题
Tydi-lang:一种用于流式流式硬件的语言
Tydi-lang: A Language for Typed Streaming Hardware
论文作者
论文摘要
使用可变长度字段的复合数据结构通常需要设计独特的协议,导致不兼容问题并减少硬件开发人员之间的协作,尤其是在开源社区中。由于需要设计自定义协议时,协议的高级含义通常会在翻译为低级语言中丢失,因此需要额外的文档,该解释引入了错误的新机会。提出了TYDI规范(TYDI-SPEC),以通过对类型中的复杂结构进行整理并提供标准协议来解决这些问题,以在组件之间传输键入数据。本文介绍了Tydi-lang,该语言结合了Tydi-Spec,用于描述打字流,并为可重复使用的组件提供模板。实施了从Tydi-Lang到TYDI中间表示(TYDI-IR)的开源编译器,并使用了TYDI-IR到VHDL编译器。通过将高级SQL转换为VHDL的Tydi-Lang示例,我们证明了它在提高抽象水平和减少设计工作方面的效率。
Transferring composite data structures with variable-length fields often requires designing unique protocols, causing incompatibility issues and decreased collaboration among hardware developers, especially in the open-source community. Because the high-level meaning of a protocol is often lost in translation to low-level languages when a custom protocol needs to be designed, extra documentation is required, the interpretation of which introduces new opportunities for errors. The Tydi specification (Tydi-spec) was proposed to address the issues by codifying the complex structures in a type and providing a standard protocol to transfer typed data among components. This paper presents Tydi-lang, a language that incorporates Tydi-spec for describing typed streams and offers templates for reusable components. An open-source compiler from Tydi-lang to Tydi intermediate representation (Tydi-IR) is implemented, and a Tydi-IR to VHDL compiler is utilized. Through Tydi-lang examples translating high-level SQL to VHDL, we demonstrate its efficiency in raising abstraction levels and reducing design effort.