熔岩 swMATH ID: 28643 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 描述: 熔岩:哈斯克尔的硬件设计。Lava是一种帮助电路设计师指定、设计、验证和实现硬件的工具。它是Haskell模块的集合。系统设计利用函数式编程语言特性,如单子和类型类,提供电路描述的多种解释。这些解释实现了标准的电路分析,如模拟、形式验证和生成代码以生产实际电路。Lava还使用多态性和高阶函数来提供比传统硬件描述语言更抽象和通用的描述。两个快速傅里叶变换电路示例说明了这一点。 主页: https://dl.acm.org/citation.cfm?doid=291251.289440 依赖项: 哈斯克尔 相关软件: 哈斯克尔;多功能浮点运算;Coquet公司;Coq公司;阿格达;长石;CUDA公司;重新选择;伊莎贝尔/霍尔;毫升;卡米;蛋糕ML;句法;循环.py;加速;铜斑蛇;尼古拉;推力;CHS斯通;MiBench公司 引用于: 11文件 全部的 前5名26位作者引用 1 埃米尔·阿克塞尔森 1 尼克·本顿 1 托马斯·布雷班特 1 伊娃·伯罗斯 1 埃尔克,莱文特 1 德米特里·加布佐夫 1 马格尼·哈夫雷恩 1 威廉·N·洪。 1 海兰德·J·马丁·E·。 1 朱利亚诺·伊尤达 1 约翰·朗奇伯里 1 李永坚 1 安德鲁·莫兰(Andrew E.Moran)。 1 Ryan R.牛顿。 1 斯科特·欧文斯 1 奥利弗·佩尔 1 皮萨尼,佛罗里达州圣保罗 1 克里斯汀·里兹卡拉 1 玛丽·希兰 1 尤里克·西斯林 1 康拉德·斯林德 1 宋晓宇 1 约瑟夫·戴维·斯文宁森 1 博·乔尔·斯文森 1 沃特·斯威斯特拉 1 史蒂夫·兹丹塞维奇 全部的 前5名7篇连载文章中引用 2 RAIRO公司。理论信息学及其应用 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在4个字段中引用 11 计算机科学(68至XX) 2 范畴理论;同调代数(18-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文