Hardware - software codesign of embedded computing systems.. Formal system modeling methods. Hardware-software partitioning. Hardware synthesis. Embedded Systems on Chip (SoC). Applications of embedded systems in DSP, control, communications. Embedded software, RTOS. Low power embedded systems, sensor networks. Lab: Design abd implementation of Systems on Chip using FPGAs.