Abstract :
The following topics are dealt with: software-based real-time system verification; energy-efficient embedded systems; prototyping frameworks; parallelism extraction; IP-based systems; cyber-physical systems; prototyping flows; and hardware-software partitioning.