Skip to content

搞英语 → 看世界

翻译英文优质信息和名人推特

Menu
  • 首页
  • 作者列表
  • 独立博客
  • 专业媒体
  • 名人推特
  • 邮件列表
  • 关于本站
Menu

Spade 硬件描述语言

Posted on 2025-04-14
Spade 语言演讲中的幻灯片,其中包含有关该语言如何与 Verilog、VHDL 和 HLS 配合使用的图表。

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/

本站文章系自动翻译,站长会周期检查,如果有不当内容,请点此留言,非常感谢。
  • Abhinav
  • Abigail Pain
  • Adam Fortuna
  • Alberto Gallego
  • Alex Wlchan
  • Answer.AI
  • Arne Bahlo
  • Ben Carlson
  • Ben Kuhn
  • Bert Hubert
  • Bits about Money
  • Brian Krebs
  • ByteByteGo
  • Chip Huyen
  • Chips and Cheese
  • Christopher Butler
  • Colin Percival
  • Cool Infographics
  • Dan Sinker
  • David Walsh
  • Dmitry Dolzhenko
  • Dustin Curtis
  • eighty twenty
  • Elad Gil
  • Ellie Huxtable
  • Ethan Dalool
  • Ethan Marcotte
  • Exponential View
  • FAIL Blog
  • Founder Weekly
  • Geoffrey Huntley
  • Geoffrey Litt
  • Greg Mankiw
  • Henrique Dias
  • Hypercritical
  • IEEE Spectrum
  • Investment Talk
  • Jaz
  • Jeff Geerling
  • Jonas Hietala
  • Josh Comeau
  • Lenny Rachitsky
  • Liz Danzico
  • Lou Plummer
  • Luke Wroblewski
  • Matt Baer
  • Matt Stoller
  • Matthias Endler
  • Mert Bulan
  • Mostly metrics
  • News Letter
  • NextDraft
  • Non_Interactive
  • Not Boring
  • One Useful Thing
  • Phil Eaton
  • Product Market Fit
  • Readwise
  • ReedyBear
  • Robert Heaton
  • Rohit Patel
  • Ruben Schade
  • Sage Economics
  • Sam Altman
  • Sam Rose
  • selfh.st
  • Shtetl-Optimized
  • Simon schreibt
  • Slashdot
  • Small Good Things
  • Steve Blank
  • Taylor Troesh
  • Telegram Blog
  • The Macro Compass
  • The Pomp Letter
  • thesephist
  • Thinking Deep & Wide
  • Tim Kellogg
  • Understanding AI
  • Wes Kao
  • 英文媒体
  • 英文推特
  • 英文独立博客
©2025 搞英语 → 看世界 | Design: Newspaperly WordPress Theme