An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware

Hawkins, John and Abdallah, Ali E. (2002) An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware. In: Euro-Par 2002 Parallel Processing. Springer, Berlin, Heidelberg, pp. 615-619. ISBN 978-3-540-44049-9

Full text not available from this repository. (Request a copy)

Abstract

The FPGA has provided us low cost yet extremely powerful reconfigurable hardware, which provides excellent scope for the implementation of parallel algorithms. We propose that despite having this enormous potential at our fingertips, we are somewhat lacking in techniques to properly exploit it. We propose a development strategy commencing with a clear, intuitive and provably correct specification in a functional language such as Haskell. We then take this specification, and, applying a set of formal transformation laws, refine it into a behavioural definition in Handel-C, exposing the implicit parallelism along the way. This definition can then be compiled onto an FPGA.

Item Type: Book Section
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 11:30
Last Modified: 07 Apr 2017 11:30
URI: http://www.open-access.bcu.ac.uk/id/eprint/4237

Actions (login required)

View Item View Item

Research

In this section...