DocumentCode
2026344
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
fYear
2009
fDate
26-27 Sept. 2009
Firstpage
714
Lastpage
719
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TIC-STH.2009.5444405
Filename
5444405
Link To Document