熔岩

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


zbMATH中的参考文献(参考文献13条)

显示结果1到13,共13个。
按年份排序(引用)

  1. 皮萨尼,佛罗伦萨圣保罗;斯威斯特拉,伍特;Sijsling,Yorick:(\Pi)-软件:Agda中的硬件描述和验证(2018)
  2. 里斯卡拉,克里斯汀;加布佐夫,德米特里;Zdancewic,Steve:按推式价值调用的形式化等式理论(2018)
  3. 斯文森,博乔尔;牛顿,瑞安R。;Sheeran,Mary:GPU上分层数据并行设计空间探索语言(2016)
  4. 斯文宁森,约瑟夫;埃米尔·阿克塞尔松:《结合领域特定语言的深度和浅层嵌入》(2015)
  5. 梁云;鲁普诺,凯尔;厉、沂南;敏,东波;是的,明恩。;陈德明:高层次综合:生产力、性能和软件约束(2012)ioport公司
  6. Megacz,Adam:《通用箭头的硬件设计》(2012)ioport公司
  7. Braibant,Thomas:Coquet:用于验证硬件的Coq库(2011)
  8. 李永健;洪,威廉·N·N。;宋晓宇:《Isabelle/HOL》中符号轨迹评价语义的新形式化(2011)
  9. 伯罗斯,伊娃;Haveraen,Magne:一个独立于硬件的并行编程模型(2009)
  10. 斯林,康拉德;欧文斯,斯科特;伊约达,朱利亚诺;Gordon,Mike:算术和密码硬件的证明生成综合(2007)
  11. Pell,Oliver:高阶逻辑中FPGA布局生成器的验证(2006)
  12. 本顿,尼克;Hyland,Martin:追踪的前单音词范畴(2003)
  13. 埃尔克,列文;Launchbury,约翰;Moran,Andrew:一元输入/输出的值递归语义(2002)