
Spade是瑞典林雪平大学开发的一种开源硬件描述语言 (HDL)。
您可能听说过的其他 HDL 包括 Verilog 和 VHDL。硬件工程师使用 HDL 来定义可以在硅中渲染的硬件。 HDL 中定义的硬件可能看起来像软件,但实际上它不是软件,而是硬件描述。该硬件可以通过多种方式实现,包括使用 FPGA 或 ASIC。
您可能听说过 CPU 在管道中处理指令。 Spade 对此类管道具有一流的支持。这意味着重新定时和重新流水线等设计活动比设计人员必须手动实现的其他 HDL 更容易。 (注意:向后对齐是 NP 难的,我们不确定 Spade 如何支持这一点(如果支持的话)。如果您知道,请在评论中告诉我们!)
Spade 受 Rust 编程语言启发,实现了强静态类型的类型系统,并且可以进行类型推断。它支持模式匹配,就像您在典型的函数式编程语言中看到的那样。它拥有用户友好且有用的错误消息和工具。
Spade 是一项正在进行中的工作,因此请期待缺少的功能和重大更改。该文档位于The Spade Book中。如果您有兴趣,可以关注GitLab或Discord上的开发。
现在您已经了解了 Spade 语言,您打算尝试一下吗?您会在 Hackaday 上找到大量可以使用 Spade 重新实现的 Verilog/VHDL 设计,例如简单的设计,如Breathing LED Done With Raw Logic Synthesized From A Verilog Design (请参阅基准测试),或者更具挑战性的设计,如Game Boy Recreated In Verilog 。如果您尝试一下 Spade,我们很想看看您的创意!
原文: https://hackaday.com/2025/04/13/the-spade-hardware-description-language/