Communicating sequential processes
Communicating sequential processes
Solving problems on concurrent processors
Solving problems on concurrent processors
Theoretical Computer Science
Normal form approach to compiler design
Acta Informatica
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Serialising Parallel Processes in a Hardware/Software Partitioning Context
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Task-Parallel Programming of Reconfigurable Systems
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
A FPGA-based Implementation of an Intravenous Infusion Controller System
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
Verification of system level model transformations
International Journal of Parallel Programming
An approach for interface generation in the PISH co-design system
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Task partitioning for multi-core network processors
CC'05 Proceedings of the 14th international conference on Compiler Construction
Hi-index | 0.00 |
In this paper 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.