Hardware/Software Co-Design

Hardware/Software

Codesign

H/S System architectures

Partitioning (hardware - software)

Hardware Synthesis (embedded systems)

Software Synthesis (embedded systems)

Specification languages

Formal Verification

Compilation (embedded systems)

Operating systems

H/S Interfaces

Models and specification languages

Scheduling

Estimation

Constraint modeling

Co-simulation

EE 382 C 9 – Embedded Software Systems