CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Hardware/software partitioning of embedded system in OCAPI-xl
Proceedings of the ninth international symposium on Hardware/software codesign
An object-oriented design process for system-on-chip using UML
Proceedings of the 15th international symposium on System Synthesis
Hi-index | 0.00 |
To model complex embedded systems at a high level of abstraction, existing languages usually stress the specification of functionality. Our experience with industrial strength designs, however, shows that structure and timing must be considered from the beginning, and refined concurrently with functionality. We present a C++ library for the modeling of concurrency and timing in an executable system model. Together with the built-in extensibility of C++, this library is the foundation for a rich set of primitives supporting different modeling paradigms in a single language framework. This allows designers to start with a conceptual system model capturing functionality, structure and timing as desired, and gradually refine it to a fully detailed, implementable model using the most appropriate modeling paradigm for each phase and part of the design.