Statecharts: A visual formalism for complex systems
Science of Computer Programming
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Concurrent programming: principles and practice
Concurrent programming: principles and practice
ACM Computing Surveys (CSUR)
Specification and design of embedded systems
Specification and design of embedded systems
EURO-DAC '94 Proceedings of the conference on European design automation
A method for partitioning UNITY language in hardware and software
EURO-DAC '94 Proceedings of the conference on European design automation
Software estimation from executable specifications
Journal of Computer and Software Engineering - Special issue: hardware-software codesign
DSP design tool requirements for embedded systems: a telecommunications industrial perspective
Journal of VLSI Signal Processing Systems - Special issue on design environments for DSP
A case study in computer-aided co-design of embedded controllers
Design Automation for Embedded Systems
Protocol selection and interface generation for HW-SW codesign
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Exploration of hardware/software design space through a codesign of robot arm controller
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Code Generation for Embedded Processors
Code Generation for Embedded Processors
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
A unified model for co-simulation and co-synthesis of mixed hardware/software systems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
The extended partitioning problem: hardware/software mapping and implementation-bin selection
RSP '95 Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)
SIERA: a unified framework for rapid-prototyping of system-level hardware and software
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Embedded Tools for a Configurable and Customizable DSP Architecture
IEEE Design & Test
Partitioning of embedded applications onto heterogeneous multiprocessor architectures
Proceedings of the 2003 ACM symposium on Applied computing
Affinity-Driven System Design Exploration for Heterogeneous Multiprocessor SoC
IEEE Transactions on Computers
Automatic re-coding of reference code into structured and analyzable SoC models
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
WSEAS Transactions on Computers
Computer-Aided Recoding to Create Structured and Analyzable System Models
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware/software co-design capable of handling multiprocessor systems and distributed architectures. The approach covers the co-design process through a set of user guided transformations allowing semi-automatic partitioning. The transformations are based on a powerful set of primitives for functional partitioning, structural reorganization and communication transformation. It leads to a fast transformation of a system-level specification into an architecture with a short design time and fast exploration of design space. The application of this approach is illustrated using several design examples starting from a system-level specification given in SDL to a distributed hardware/software architecture described in C/VHDL. We show that the use of transformational approach allows: Application of the expertise of the designer during partitioning ; - the user to understand the results of the co-design process ; the process to take into account partial existing solutions ; - large design space exploration ; the designer to start from a very high-level specification language of the system to be designed.