A. Gill, T. Bull, G. Kimmell, E. Perrins, E. Komp, and B. Werling, “Introducing Kansas Lava,” in Proceedings of the Symposium on Implementation and Application of Functional Languages, ser. LNCS, vol. 6041. Springer-Verlag, Sep 2009.

Links

Abstract

Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations of Lava, we have found the design space rich, with unexplored choices. We use a direct (Chalmers style) specification of circuits, and make significant use of Haskell overloading of standard classes, leading to concise circuit descriptions. Kansas Lava supports both simulation (inside GHCi), and execution via VHDL, by having a dual shallow and deep embedding inside our Signal type. We also have a lightweight sized-type mechanism, allowing for MATLAB style matrix based specifications to be directly expressed in Kansas Lava.

BibTeX

@inproceedings{Gill:09:KansasLava,
  author = {Andy Gill and Tristan Bull and Garrin Kimmell and Erik Perrins and Ed Komp and Brett Werling},
  title = {Introducing {K}ansas {L}ava},
  booktitle = {Proceedings of the Symposium on Implementation and Application of Functional Languages},
  publisher = {Springer-Verlag},
  series = {LNCS},
  volume = {6041},
  month = {Sep},
  year = {2009},
}