Stream processing hardware from functional language specifications

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages 10-19

  Frankau, S ^a   Mycroft, A ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MACROS; PATTERN MATCHING;

FUNCTIONAL LANGUAGES; FUNCTIONAL PROGRAMS; MACRO LANGUAGES; NET LIST; STREAM OPERATIONS; STREAM PROCESSING; WORK IN PROGRESS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 35048823466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174809     Document Type: Conference Paper

References (24)

1. E. A. Ashcroft and W. W. Wadge. Lucid, a nonprocedural language with iteration. Communications of the ACM, 20(7):519-526, July 1977.
2. G. Berry. The foundations of Esterel. In Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998.
3. P. Bjesse, K. Claessen, M. Sheeran, and S. Singh. Lava: Hardware design in Haskell. In International Conference on Functional Programming, pages 174-184, 1998.
4. B. Cook, J. Launchbury, and J. Matthews. Specifying superscalar microprocessors in Hawk. In In Workshop on Formal Techniques for Hardware, 1998.
5. S. R. Guo and W. Luk. Compiling Ruby into FPGAs. In Field-Programmable Logic and Applications, pages 188-197, 1995.
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
7. D. T. Hoang. Searching genetic databases on Splash 2. In D. A. Buell and K. L. Pocek, editors, Proceedings of IEEE Workshop on FPGAs for Custom Computing Machines, pages 185-191, Napa, CA, Apr. 1993.
8. J. Hughes, L. Pareto, and A. Sabry. Proving the correctness of reactive systems using sized types. In Symposium on Principles of Programming Languages, pages 410-423, 1996.
9. N. D. Jones. The expressive power of higher-order types or, life without CONS. Journal of Functional Programming, 11(1):55-94, January 2001.
10. S. P. Jones and J. Hughes. Report on the programming language Haskell 98, a non-strict purely functional language. Technical Report YALEU/DCS/RR-1106, Yale University, February 1999.
11. J.-P. Kaps and C. Paar. Fast DES implementation for FPGAs and its application to a universal key-search machine. In S. E. Tavares and H. Meijer, editors, Selected Areas in Cryptography '98, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings, volume 1556 of Lecture Notes in Computer Science, pages 234-247. Springer-Verlag, 1999.
12. Y. Li and M. Leeser. HML: an innovative hardware description language and its translation to VHDL. In Proceedings of CHDL'95, 1995.
13. D. MacQueen. Models for distributed computing. Technical Report 351, Institut de Recherche d'Informatique et d'Automatique, 1979.
14. A. Mycroft and R. Sharp. The FLaSH project: Resource-aware synthesis of declarative specications. In Proceedings of The International Workshop on Logic Synthesis 2000, 2000.
15. A. Mycroft and R. Sharp. A statically allocated parallel functional language. In Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP), volume 1853 of Lecture Notes in Computer Science, 2000.
16. A. Mycroft and R. Sharp. Hardware synthesis using SAFL and application to processor design. In T. Margaria and T. Melham, editors, Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference, CHARME 2001: Livingston, Scotland, UK, September 4-7 2001: Proceedings, volume 2144 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
17. J. J. O'Donnell. From transistors to computer architecture: Teaching functional circuit specification in Hydra. In Functional Programming Languages in Education, pages 195-214, 1995.
18. L.Pareto. Types for Crash Prevention. PhD thesis, Chalmers University of Technology, Sweden, 2000.
19. L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 1996.
20. R. Sharp and A. Mycroft. A higher-level language for hardware synthesis. In Proceedings of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), 2001.
21. M. Sheeran. Designing regular array architectures using higher order functions. In Jouannaud, editor, Proceedings of International Conference on Functional Programming and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 220-237, 1985.
22. J. Srinivasan. Hardware accelerated ray tracing. Final year undergraduate project, Cambridge University Computer Laboratory, 2002.
23. P. Wadler. Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time. In ACM Symposium on Lisp and Functional Programming, pages 45-52, 1984.
24. P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, pages 347-359. North Holland, 1990.