Lava: Hardware design in Haskell

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 174-184

  Bjesse, Per ^a   Claessen, Koen ^a   Sheeran, Mary ^a   Singh, Satnam ^b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b XILINX INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244374683     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289440     Document Type: Article

References (19)

1. Per Bjesse. Specification of signal processing programs in a pure functional language and compilation to distributed architectures. Master's thesis, Chalmers University of Technology, 1997.
2. Byron Cook, John Launchbury, and John Matthews. Specifying superscalar microprocessors in Hawk. In Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998.
3. David Cyrluk. Inverting the abstraction mapping: A methodology for hardware verification. In Formal Methods for Computer Aided Design of Electronic Circuits (FMCAD), number 1166 in Lecture Notes In Computer Science. Springer-Verlag, 1996.
4. Ruben Gamboa. Mechanically verifying the correctness of the Fast Fourier Transform in ACL2. In Third International Workshop on Formal Methods for Parallel Programming: Theory and Applications, 1998.
5. Keith Hanna and Neil Daeche. Dependent types and formal synthesis. Phil. Trans. R. Soc. Lond. A, (339), 1992.
6. Shousheng He. Concurrent VLSI Architectures for DFT Computing and Algorithms for Multi-output Logic Decomposition. PhD thesis, Lund Institute of Technology, 1995.
7. Geraint Jones. A fast flutter by the Fourier transform. In Proceedings IVth Banff Workshop on Higher Order. Springer Workshops in Computing 1990.
8. Geraint Jones and Mary Sheeran. The study of butterflies. In Proceedings IVth Banff Workshop on Higher Order. Springer Workshops in Computing 1990.
9. Yanbing Li and Miriam Leeser. HML: An innovative hardware design language and its translation to VHDL. In Computer Hardware Description Languages (CHDL'95), 1995.
10. William W. McCune and L. Wos. Otter: The CADE-13 competition incarnations. Journal of Automated Reasoning, 18(2):211-220, 1997.
11. John O'Donnell. From transistors to computer architecture: Teaching functional circuit specification in Hydra. In Functional Programming Languagues in Education, volume 1125 of Lecture Notes In Computer Science, pages 221-234. Springer Verlag, 1996.
12. John Proakis and Dimitris Manolakis. Digital Signal Processing. Macmillan, 1992.
13. Mary Sheeran and Arne Borälv. How to prove properties of recursively defined circuits using Stalmarck's method. In Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998.
14. Mary Sheeran. Designing regular array architectures using higher order functions. In Int. Conf. on Functional Programming Languages and Computer Architecture, (Jouannaud ed.), volume 201 of Lecture Notes In Computer Science. Springer Verlag, 1985.
15. Satnam Singh. Analysis of Hardware Description Languages. PhD thesis, Computing Science Dept., Glasgow University, 1991.
16. Robin Sharp and Ole Rasmussen. Transformational rewriting with Ruby. In Computer Hardware Description Languages (CHDL'93). Elsevier Science Publishers, 1993.
17. Gunnar Stålmarck. A System for Determining Prepositional Logic Theorems by Applying Values and Rules to Triplets that are Generated from a Formula, 1989. Swedish Patent No. 467 076 (approved 1992), U.S. Patent No. 5 276 897 (1994), European Patent No. 0403 454 (1995).
18. Tanel Tammet. Gandalf. Journal of Automated Reasoning, 18(2):199-204, 1997.
19. Philip Wadler. Monads for Functional Programming. In Lecture notes for Marktoberdorf Summer School on Program Design Calculi, NATO ASI Series F: Computer, and systems sciences. Springer Verlag, August 1992.