Hardware synthesis in ForSyDe The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler
BibTeX
@MISC{Acosta_hardwaresynthesis,
author = {Alfonso Acosta},
title = {Hardware synthesis in ForSyDe The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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
Citations
| 138 | Type classes with functional dependencies - Jones - 2000 |
| 135 | Template metaprogramming for Haskell - Sheard, Jones - 2002 |
| 133 | Generalizing monads to arrows - Hughes - 2000 |
| 41 | Strongly typed heterogeneous collections - Kiselyov, Lämmel, et al. - 2004 |
| 39 | A new notation for arrows - Paterson - 2001 |
| 20 | A tutorial on Lava: A hardware description and verification system - Claessen, Sheeran - 2000 |
| 7 | Programming with arrows - Hughes - 2004 |
| 1 | Another look at hardware design languages: freeing ourselves from the tyranny of the host language - Sheard - 2005 |
| 1 | A framework for designing hardware in Ocaml - Martin, Gheith - 2007 |
