A. Farmer, G. Kimmell, and A. Gill, “What’s the matter with Kansas Lava?,” in Post-Proceedings of Trends in Functional Programming, Springer-Verlag, LNCS 6546, May 2010.


Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever larger circuits, we have found the need to effectively test and debug the internals of Kansas Lava. This includes confirming both the simulated behavior of the circuit and its hardware realization via generated VHDL. In this paper we share our approach to this problem, and discuss the results of these efforts.


  title = {What's the matter with {K}ansas {L}ava?},
  author = {Andrew Farmer and Garrin Kimmell and Andy Gill},
  booktitle = {Post-Proceedings of Trends in Functional Programming},
  month = {May},
  publisher = {Springer-Verlag, LNCS 6546},
  year = {2010},