Strategies for real-time system specification
Strategies for real-time system specification
CASR '94 Selected papers from the 4th International Workshop on Computer Aided System Theory
An approach to interface synthesis
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach
Integrated Computer-Aided Engineering
Hi-index | 0.01 |
This paper aims at a theory for hardware/software codesign. We approach this goal by investigating system design according to the allocation principle which is a systems engineering approach to mixed hardware/software systems design. The associated process steps are system-level design including partitioning and communication synthesis by channel mapping and binding. A strengthened system-level design and synthesis process makes codesign with delayed technology dependent partitioning possible. In addition we investigate possibilities for automating these processes by tool support.