Hardware synthesis in ForSyDe: The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler.

Acosta Gómez, Alfonso (2007). Hardware synthesis in ForSyDe: The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler.. Proyecto Fin de Carrera / Trabajo Fin de Grado, Facultad de Informática (UPM), Stockholm.

Description

Title: Hardware synthesis in ForSyDe: The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler.
Author/s:
  • Acosta Gómez, Alfonso
Contributor/s:
  • Sander, Ingo
Item Type: Final Project
Date: June 2007
Subjects:
Freetext Keywords: ForSyDe, System Design, Haskell, Template Haskell, Functional Programming, Lava, VHDL, Compiler, Embedded Compiler, DSL, EDSL, Domain Specific Language
Faculty: Facultad de Informática (UPM)
Department: Otro
Creative Commons Licenses: Recognition - No derivative works

Full text

[thumbnail of PFC_ALFONSO_ACOSTA_GOMEZ.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

The ForSyDe (Formal System Design) methodology is targeted at modelling systems, with the goal of using a high level of abstraction in the specification of its models.

Although it is a general system modelling methodology, the initial scope of ForSyDe has specifically been Synchronous Systems (systems in which a global clock is used to synchronize the different parts of the system). A well-known type of such system is synchronous hardware, which is the main subject of this thesis. A synchronous system in ForSyDe is based on the concept of processes which “map input signals onto output signals”.

Currently, the software implementation of ForSyDe is based upon the Haskell programming language. The designer specifies the system model in Haskell as a network of cooperating process constructors with the assistance of the ForSyDe Library.

Until now, there has not been an automated way to synthesize ForSyDe models (i.e. generate an equivalent low-level implementation from which to build real hardware). However, as a result of this thesis, hardware synthesis is now a feature of ForSyDe, enabling ForSyDe designs to finally reach silicon. That is possible thanks to the development of a ForSyDe-to-VHDL compiler. By using this compiler, a ForSyDe model can be first translated to synthesizable VHDL93 (one of the two most common hardware design languages) and then, the designer can use any of the existing VHDL-tools to synthesize the model.

This thesis report is aimed at documenting the background, design, implementation
and use of the compiler.

More information

Item ID: 1162
DC Identifier: https://oa.upm.es/1162/
OAI Identifier: oai:oa.upm.es:1162
Deposited by: Alfonso Acosta
Deposited on: 29 Sep 2008
Last Modified: 20 Apr 2016 06:43
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM