Bluespec SystemVerilog (BSV) 是由Arvind 开发的 Bluespec 语言，这是一种高级功能 硬件 描述编程语言，本质上是Haskell（Haskell ( / ˈh æs k əl / ) 是一种通用的、静态类型的、纯函数式 编程语言，具有类型推断和惰性求值。）的扩展，用于处理一般的芯片设计和电子设计自动化。Bluespec的主要设计者和实现者是Lennart Augustsson。Bluespec 被部分评估（转换 Haskell 部分）并编译为术语重写系统(TRS)。它带有一个SystemVerilog前端。BSV 编译为Verilog RTL 设计文件。2020年1月，Bluespec开源了bsc（Bluespec SystemVerilog Compiler）。因此我安装了 bsc，这是一个编译器，可以对用BSV (Bluespec SystemVerilog)编写的设计进行高级综合。BSV 与任何其他语言一样，无法通过阅读手册来学习，我认为学习新语言的唯一方法是实际设计应用程序。因此，我尝试使用 BSV 设计《太空入侵者》游戏。

OpenFPGA More