从GSA到HDL：面向动态调度电路的原则性生成
硬件体系结构
2023-08-23 v1
摘要
高层次综合(HLS)是指将用高级语言编写的软件程序自动翻译为硬件设计。现代HLS工具已脱离在编译时静态调度操作的常规方法，转而生成在运行时调度操作的动态电路。此类电路以面积利用率为代价换取更高的动态性与吞吐量。然而，现有动态调度HLS工具中的下层流转因其使用的中间表示(IR)以及对向硬件翻译缺乏形式化规范，而依赖于对其输入程序的保守假设。这些假设导致次优的硬件性能。在本工作中，我们通过提出一种新的高效硬件映射抽象来解除这些假设；即h-GSA，门控单静态赋值(GSA) IR的扩展。利用该抽象，我们提出一种将GSA转换为h-GSA并将h-GSA映射为动态调度硬件电路的下层流转。我们将本方法生成的调度与最先进的动态调度HLS工具Dynamatic生成的调度进行比较，并阐明使用所提抽象进行硬件映射的潜在性能提升。
引用
@article{arxiv.2308.11048,
title = {GSA to HDL: Towards principled generation of dynamically scheduled circuits},
author = {Aditya Rajagopal and Diederik Adriaan Vink and Jianyi Cheng and Yann Herklotz},
journal= {arXiv preprint arXiv:2308.11048},
year = {2023}
}
备注
Presented at the 19th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems (ACACES 2023)