Embedded system synthesis by timing constraints solving
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10801820,p. 50-57
- https://doi.org/10.1109/isss.1997.621675
Abstract
The paper presents an approach to embedded system synthesis which minimizes a system cost while implementing given timing requirements. The embedded system is represented by a set of finite domain constraints defining different requirements on process timing, system resources and interprocess communication. The assignment of processes to processors and interprocess communications to buses as well as their scheduling are then defined as an optimization problem. A prototype system, based on constraint solving techniques, has been implemented in CHIP 5, the constraint logic programming system. Experimental results show that this approach can be efficiently used to define different system constraints and generate optimized system implementations.Keywords
This publication has 10 references indexed in Scilit:
- An approach to symbolic timing verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Design of an optimal loosely coupled heterogeneous multiprocessor systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Interface timing verification with delay correlation using constraint logic programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu SearchDesign Automation for Embedded Systems, 1997
- Specification and design of embedded hardware-software systemsIEEE Design & Test of Computers, 1995
- Hardware-software co-design of embedded systemsProceedings of the IEEE, 1994
- Synthesis of application-specific multiprocessor systems including memory componentsJournal of Signal Processing Systems, 1994
- Hardware-software cosynthesis for microcontrollersIEEE Design & Test of Computers, 1993
- SOS: Synthesis of application-specific heterogeneous multiprocessor systemsJournal of Parallel and Distributed Computing, 1992
- Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992