Compiling functional-imperative languages into hardware

Add to your list(s) Download to your calendar using vCal

• Dan Ghica
• Tuesday 11 December 2012, 12:00-13:00
• Seminar Room, Level 11, EEE Department.

If you have a question about this talk, please contact Wiesia R Hsissen.

I will give an introduction to our compiler (GOS) from a conventional functional-imperative programming language (Verity) to HDL , targeted in particular towards Altera FPG As. The highlight of the compiler is mature and efficient support for functions, including higher-order functions, recursive functions and foreign functions. This, in turn, allows for separate and heterogeneous compilation and seamless interaction with native (HDL) IP cores. In the conclusion of the talk I will present our most recent theoretical advances, allowing the fully automatic synthesis of pipelined circuits from plain Verity programs. The compiler is available as an open-source download from veritygos.org.

This talk is part of the Featured talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• COMMSP & CP list
• COMMSP Seminar
• Circuits and Systems Group: Internal Seminars
• Featured talks
• SAP Talks
• Seminar Room, Level 11, EEE Department

Note that ex-directory lists are not shown.