Affiliation:
1. Microsoft, Redmond, USA
2. ETH Zurich, Zurich, Switzerland
Abstract
Digital systems are growing in importance and computing hardware is growing more heterogeneous. Hardware design, however, remains laborious and expensive, in part due to the limitations of conventional hardware description languages (HDLs) like VHDL and Verilog. A longstanding research goal has been programming hardware like software, with high-level languages that can generate efficient hardware designs. This paper describes Kanagawa, a language that takes a new approach to combine the programmer productivity benefits of traditional High-Level Synthesis (HLS) approaches with the expressibility and hardware efficiency of Register-Transfer Level (RTL) design. The language's concise syntax, matched with a hardware design-friendly execution model, permits a relatively simple toolchain to map high-level code into efficient hardware implementations.
Publisher
Association for Computing Machinery (ACM)
Reference56 articles.
1. 2023. CIRCT. https://circt.llvm.org/ (accessed: 11.8.2023)
2. F. E. Allen and J. Cocke. 1976. A Program Data Flow Analysis Procedure. Commun. ACM 19 3 (1976) mar 137. issn:0001-0782 https://doi.org/10.1145/360018.360025 10.1145/360018.360025
3. Jonathan Bachrach, Huy Vo, Brian Richards, Yunsup Lee, Andrew Waterman, Rimas Avižienis, John Wawrzynek, and Krste Asanović. 2012. Chisel: Constructing hardware in a Scala embedded language. In DAC Design Automation Conference 2012. 1212–1221. https://doi.org/10.1145/2228360.2228584 10.1145/2228360.2228584
4. Mojtaba Bisheh-Niasar Daniel Lo Anjana Parthasarathy Blake Pelton Bharat Pillilli and Bryan Kelly. 2023. PQC Cloudization: Rapid Prototyping of Scalable NTT /INTT Architecture to Accelerate Kyber. In 2023 IEEE Physical Assurance and Inspection of Electronics (PAINE). 1–7. https://doi.org/10.1109/PAINE58317.2023.10318029 10.1109/PAINE58317.2023.10318029
5. Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind. 2020. The Essence of Bluespec: A Core Language for Rule-Based Hardware Design. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery, New York, NY, USA. 243–257. isbn:9781450376136 https://doi.org/10.1145/3385412.3385965 10.1145/3385412.3385965