Correct Operation for Processors and Embedded Systems

4 credits · College of Engineering catalogue

Advisory Prerequisite: None. Enforced Prerequisite: EECS 470; No OP/F; or graduate standing in CSE. Minimum grade requirement of “C” for enforced prerequisite. (4 credits) introduction to topics in correctness of modern processors, embedded systems, and accelerator designs (e.g., GPUs). Robust and reliable design techniques. Hardware security assurance. Design verification: simulation, formal techniques, and post-silicon validation. Quality of services and energy management for correctness of implementation. Term projects.