熔岩

熔岩:哈斯凯尔的硬件设计。Lava是一个帮助电路设计师指定、设计、验证和实现硬件的工具。它是Haskell模块的集合。系统设计利用函数式编程语言的特性,如单子和类型类,为电路描述提供多种解释。这些解释实现了标准电路分析,如模拟、形式验证和生成实际电路所需的代码。Lava还使用多态性和高阶函数来提供比传统硬件描述语言更抽象和更一般的描述。两个快速傅立叶变换电路的例子说明了这一点。