Mastodon Feed: Post

Mastodon Feed

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
thezoq2 ("TheZoq2") wrote:

Finally, we have a proper journal paper about Spade πŸŽ‰!

It is a pretty complete description of the current state of the language, but I'm honestly more excited about the way we managed to argue for having a new HDL at Spade's abstraction level, roughly RTL but with zero cost abstractions on top

https://dl.acm.org/doi/10.1145/3793550

A screenshot of the ACM page for a Just accepted paper titled "Spade --- A modern Hardware Description Language" The bulk of the screenshot is taken up by the abstract which reads The need for custom hardware to meet compute demands is ever increasing. However, the hardware description languages that these accelerators are primarily built with were designed in the 1980s which means that they are missing out on over 35 years of development in programming language design. In this paper, we present Spade β€” a new hardware description language that takes inspiration from modern software language design and aims to be more productive than traditional HDLs without sacrificing performance. This is achieved through a mix of building abstractions for common hardware constructs such as pipelines, and outright borrowing ideas from software, such as a type system that comes close in power to that of Rust or Haskell. Compared to contemporary hardware description languages such as Chisel, which are embedded in a host language, Spade is a standalone language with a type system that is available in hardware, not just at elaboration-time. Its abstractions also build on top of the RTL abstraction instead of replacing it as is done in languages like BlueSpec and in high-level synthesis.