Towards provably correct hardware/software partitioning using OCCAM

Author

Barros, Edna ; Sampaio, Americo

Author_Institution

Dept. de Inf., UFPE, Recife, Brazil

fYear

1994

fDate

22-24 Sep 1994

Firstpage

210

Lastpage

217

Abstract

We present some ideas towards an approach to provably correct hardware/software partitioning. We use OCCAM as the source programming language and perform the partitioning by applying a series of algebraic transformations on the source program. The result is still an OCCAM program; its structure reflects the hardware and software components, and how they interact to achieve the overall goal. A simple case study is developed to illustrate the partitioning and to show how the transformations can be proved to preserve an algebraic semantics of OCCAM

Keywords

Occam; symbol manipulation; systems analysis; OCCAM; algebraic semantics; algebraic transformations; partitioning; provably correct hardware/software partitioning; source programming language; Algorithm design and analysis; Application software; Brazil Council; Computer languages; Field programmable gate arrays; Formal verification; Hardware; Partitioning algorithms; Proposals; Software performance;

fLanguage

English

Publisher

ieee

Conference_Titel

Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on

Conference_Location

Grenoble

Print_ISBN

0-8186-6315-4

Type

conf

DOI

10.1109/HSC.1994.336704

Filename

336704

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2203074