Embedded System Design and Modeling

3 Hours

Examine the methods and techniques for formal specification, modeling, and system-level design of embedded systems; models of computation (MoCs), concurrency and time including finite state machines (FSMs), process networks and dataflow; system-level design languages (SLDLs) and methodologies; system-level synthesis algorithms for partitioning, scheduling and design space exploration; system refinement and implementation models; virtual platform prototyping, system simulation and transaction-level modeling (TLM); hardware and software synthesis; system-level design tools and case studies. Electrical and Computer Engineering 382N (Topic 23) and Electrical Engineering 382N (Topic 23) may not both be counted.