2011
DOI: 10.1007/978-3-642-22941-1_7
|View full text |Cite
|
Sign up to set email alerts
|

What’s the Matter with Kansas Lava?

Abstract: Abstract. 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2011
2011
2015
2015

Publication Types

Select...
1
1
1

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 10 publications
0
1
0
Order By: Relevance
“…Given that we support user defined primitives (and we used a couple in LDPC), then the possibility of an incorrect new primitive, or a lingering bug in our code generator remains. In order to tackle this, we have developed a system that exploits the way we execute the interpreter and simulator together automatically and compared for correctness [15]. The idea is that a complete circuit is tested with a provided stimuli, and run both as a Lava interpreter and a VHDL program executing on ModelSim.…”
Section: Testing Ldpcmentioning
confidence: 99%
“…Given that we support user defined primitives (and we used a couple in LDPC), then the possibility of an incorrect new primitive, or a lingering bug in our code generator remains. In order to tackle this, we have developed a system that exploits the way we execute the interpreter and simulator together automatically and compared for correctness [15]. The idea is that a complete circuit is tested with a provided stimuli, and run both as a Lava interpreter and a VHDL program executing on ModelSim.…”
Section: Testing Ldpcmentioning
confidence: 99%