Specification and design of embedded systems, specification languages, hardware/software co-design, performance estimation, co-simulation, verification, validation, embedded architectures, processor architectures and software synthesis, system-on-a-chip paradigm, retargetable code generation and optimization, verification and validation, environmental issues and considerations. [Note: Offered W, first offered Winter 2014] Prereq: (ECE 254 or 354 or SE 350), (ECE 224 or 324 or 325), ECE 327; Level at least 4A Computer Engineering or Electrical Engineering or Software Engineering. Antireq: SYDE 524
