Title :
A hardware/software co-specification methodology based upon OpenMP
Author :
Hall, Thomas S. ; Kent, Kenneth B.
Author_Institution :
Fac. of Comput. Sci., Univ. of New Brunswick, Fredericton, NB, Canada
Abstract :
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.
Keywords :
formal specification; hardware-software codesign; parallel programming; software engineering; OpenMP software; hardware-software co-specification methodology; parallel programming specification; software development tools; Application software; Computer architecture; Computer science; Hardware design languages; Open source software; Parallel programming; Program processors; Software design; Software systems; Software tools; co-design; co-specification; hardware/software; partitioning;
Conference_Titel :
Science and Technology for Humanity (TIC-STH), 2009 IEEE Toronto International Conference
Conference_Location :
Toronto, ON
Print_ISBN :
978-1-4244-3877-8
Electronic_ISBN :
978-1-4244-3878-5
DOI :
10.1109/TIC-STH.2009.5444405
