Lava メモHaskell ベースで内部 DSL として実装された HDL である Lava に関するメモです。 バージョン等は 2011 年 11 月現在 Lava とは Lava はハードウェア記述言語で、Haskell ベースの内部 DSL として実装されています。Chalmers (ちゃーまーず、ないし、しゃるめる、などと日本では読んでいるようです) 大学 (関数型言語の研究が盛んで HBC と HBI という Haskell 処理系などを作ったりしています) 版が本家? らしく、他に機能の追加と削除などがされている派生版がいくつかあります。 Lava のバリエーション Chalmers -- chalmers-lava2000 という Hackage があるのでそれを使えばよいでしょう Xilinx -- xilinx-lava / FoP の Lava の章の執筆者のひとりである Satn
