Constraint-Based Codesign (CBC) of Embedded Systems: The UML Approach

TL;DRAbstract

We propose a methodology for hardware/software codesign of embedded systems, using the Unified Modeling Language (UML) to realize it. The proposed methodology is design constraint driven, thus facilitating requirements-driven synthesis and verification for system-on-chip (SOC) and system-on-package (SOP) designs. 1.0 Introduction The process of hardware/software (HW/SW) codesign involves four main tasks: allocation, partitioning, scheduling and communication synthesis. Allocation involves a components selection whereas partitioning a placement of allocated components into hardware and software. Scheduling insures an optimal design without violating any timing and/or resource constraints. Communication synthesis makes possible a proper interaction among components. The robustness of a codesign methodology consequently depends upon how well it addresses such tasks. A traditional HW/SW codesign methodology (Figure 1) usually commences with a set of specifications. These specifications, o.

Chat with Paper

AI Agents for this Paper