A hardware/software co-specification methodology based upon OpenMP

This paper presents a hardware/software co-specification methodology based on the OpenMP parallel programming specification. The methodology sets out the procedures to convert a system specified as an OpenMP software application into a hardware/software design. The methodology is intended to permit software developers to produce custom hardware/software system specifications using software development tools.

[1]  Eric E. Aubanel,et al.  Customizable bit-width in an OpenMP-based circuit design tool , 2009, FPGA '09.

[2]  Soonhoi Ha,et al.  Effective OpenMP Implementation and Translation For Multiprocessor System-On-Chip without Using OS , 2007, 2007 Asia and South Pacific Design Automation Conference.

[3]  Piotr Dziurzanski,et al.  Defining Synthesizable OpenMP Directives and Clauses , 2004, International Conference on Computational Science.

[4]  Andreas Gerstlauer,et al.  System Design - A Practical Guide with SpecC , 2001 .

[5]  K.B. Kent,et al.  A Handel-C Implementation of a Computationally Intensive Problem in GF(3) , 2008, 2008 International Conference on Advances in Electronics and Micro-electronics.

[6]  Stephen A. Edwards,et al.  The challenges of hardware synthesis from C-like languages , 2005, Design, Automation and Test in Europe.

[7]  Michael J. Quinn,et al.  Parallel programming in C with MPI and OpenMP , 2003 .

[8]  Philip R. Moorby,et al.  The Verilog Hardware Description Language, 5th Edition , 2002 .

[9]  David C. Luckham,et al.  A new approach to prototyping Ada-based hardware/software systems , 1990, TRI-Ada '90.

[10]  Weng-Fai Wong,et al.  Generating hardware from OpenMP programs , 2006, 2006 IEEE International Conference on Field Programmable Technology.

[11]  Giovanni De Micheli,et al.  Hardware/Software Co-Design: Application Domains and Design Technologies , 1996 .

[12]  Augusto Sampaio,et al.  Towards provably correct hardware/software partitioning using OCCAM , 1994, Third International Workshop on Hardware/Software Codesign.

[13]  Inmos Limited,et al.  OCCAM 2 reference manual , 1988 .

[14]  Donatella Sciuto,et al.  HW/SW codesign for embedded telecom systems , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[15]  Piotr Dziurzanski,et al.  A system for transforming an ANSI C code with OpenMP directives into a SystemC description , 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

[16]  I. Page,et al.  Software to silicon [hardware compilation] , 2000 .

[17]  Brian W. Kernighan,et al.  The C Programming Language, Second Edition , 1988 .

[18]  David Pellerin,et al.  VHDL Made Easy , 1996 .

[19]  Donald E. Thomas,et al.  The Verilog® Hardware Description Language , 1990 .

[20]  Douglas L. Perry,et al.  VHDL: Programming by Example , 2002 .

[21]  Ian Page.  Closing the gap between hardware and software: hardware-software cosynthesis at Oxford , 1996 .

[22]  James M. Ortega.  An Introduction to Fortran 90 for Scientific Computing , 1994 .

[23]  Theodore F. Elbert,et al.  Embedded Programming in Ada , 1986 .

[24]  Paul Marchal,et al.  Flexible hardware/software support for message passing on a distributed shared memory architecture , 2005, Design, Automation and Test in Europe.

[25]  Stuart Sutherland,et al.  Systemverilog for Design: A Guide to Using Systemverilog for Hardware Design and Modeling , 2006 .