Functional design using behavioural and structural components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2517, Issue , 2002, Pages 324-341

  Sharp, Richard ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE; CRYPTOGRAPHY; FORMAL METHODS;

FUNCTIONAL DESIGN; FUNCTIONAL LANGUAGES; HARDWARE DESCRIPTIONS; INTEGRATION TECHNIQUES; LEVELS OF ABSTRACTION; PROGRAMMING PARADIGMS; STRUCTURAL COMPONENT; UNIFIED FRAMEWORK;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 84948124830     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36126-x_20     Document Type: Conference Paper

References (21)

1. Haskell98 report. Available from http://www.haskell.org/.
2. Bjesse, P., Claessen, K., Sheeran, M., and Singh S. Lava: Hardware description in Haskell. In Proceedings of the 3rd International Conference on Functional Programming (1998), SIGPLAN, ACM.
3. Bose, B. DDD: A transformation system for digital design derivation. Tech. Rep. 331, Computer Science Department, Indiana University, 1991.
4. Claessen, K., and Sands, D. Observable sharing for functional circuit description. In Advances in Computing Science ASIAN’99; 5th Asian Computing Science Conference (1999), vol. 1742 Of LNCS, Springer Verlag, pp. 62–73.
5. Classen, K., Sheeran, M., and Singh, S. The design and verification of a sorter core. In Proceedings of the 11th Advanced Working Conference on Correct Hardware Design and Verification Methods (2001), vol. 2144 Of LNCS, Springer-Verlag, pp. 355–369.
6. De Micheli, G. Synthesis and Optimization of Digital Circuits. McGraw-Hill Inc., 1994.
7. IEEE. Verilog HDL language reference manual. IEEE Standard 1364-2001.
8. IEEE. Standard VHDL Reference Manual, 1993. IEEE Standard 1076-1993.
9. Kaps, J.-P., and Paar, C. Fast DES implementation for FPGAs and its application to a universal key-search machine. In Selected Areas in Cryptography (1998), vol. 1556 of Lecture Notes in Computer Science, Springer Verlag, pp. 234–247.
10. Matthews, J., Cook, B., and Launchbury, J. Microprocessor specification in Hawk. In Proceedings of the IEEE International Conference on Computer Languages (1998).
11. Milner, R., Tofte, M., Harper, R., and MacQueen, D. The Definition of Standard ML (Revised). MIT Press, 1997.
12. Mycroft, A., and Sharp, R. A statically allocated parallel functional language. In Proceedings of the International Conference on Automata, Languages and Programming (2000), vol. 1853 Of LNCS, Springer-Verlag.
13. Mycroft, A., and Sharp, R. Hardware/software co-design using functional languages. In Proceedings of TACAS (2001), vol. 2031 Of LNCS, Springer-Verlag.
14. Mycroft, A., and Sharp, R. Higher-level techniques for hardware description and synthesis. To appear. International Journal on Software Tools for Technology Transfer (STTT) (2002).
15. O’Donnell, J. Hardware description with recursion equations. In Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications (April 1987), North-Holland, pp. 363–382.
16. O’Donnell, J. Generating netlists from executable circuit specifications in a pure functional language. In Functional Programming, Workshops in Computing, Proceedings (1992), Springer-Verlag, pp. 178–194.
17. Paulson, L. ML for the working programmer. Cambridge University Press, 1996.
18. Schneier, B. Applied cryptography: protocols, algorithms, and sourcecode in C. John Wiley and Sons, New York, 1994.
19. Sharp, R., and Mycroft, A. Soft scheduling for hardware. In Proceedings of the 8th International Static Analysis Symposium (2001), vol. 2126 Of LNCS, Springer-Verlag.
20. Sheeran, M. MuFP, a language for VLSI design. In Proceedings of the ACM Symposium on LISP and Functional Programming (1984).
21. Wadler, P. Monads for functional programming. In Advanced Functional Programming (1995), vol. 925 Of LNCS, Springer-Verlag.