A Tutorial on Lava: A Hardware Description and Verification System (2000)
| Citations: | 1 - 0 self |
BibTeX
@MISC{Koen00atutorial,
author = {Koen Claessen Koen and Mary Sheeran},
title = {A Tutorial on Lava: A Hardware Description and Verification System},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 Introduction 4 2 Getting Started 6 2.1 Your First Circuit . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 The Lava Interpreter . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Your Second Circuit . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.4 Generating VHDL . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.5 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3 Bigger Circuits 12 3.1 Recursion over Lists . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.2 Connection Patterns . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.3 Arithmetic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.4 Compilation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.5 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 4 Verification 18 4.1 Simple Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.2 Quanti
Citations
| 430 | Sorting Networks and Their Applications - Batcher - 1968 |
| 419 | The synchronous data-flow programming language Lustre - Halbwachs, Caspi, et al. - 1991 |
| 113 | An algorithm for the machine computation of the complex Fourier series - Cooley, Tukey - 1965 |
| 96 | Lava: Hardware design in Haskell - Bjesse, Claessen, et al. - 1999 |
| 21 | From transistors to computer architecture: Teaching functional circuit specification in Hydra - O’Donnell - 1995 |
| 16 | Computer-based tools for regular array design - Luk, Jones, et al. - 1989 |
| 16 | Designing regular array architectures using higher order functions - Sheeran - 1985 |
| 14 | Describing and reasoning about circuits using relations - Sheeran - 1986 |
| 6 | The Hugs distribution. Currently available from http://haskell.org/hugs - Jones - 1999 |
| 5 | a language for VLSI design - FP - 1984 |
| 4 | an algebraic VLSI design language - FP - 1983 |
| 2 | Available from http://www.cma.ensmp.fr/jazz - Jazz - 1998 |
