Introduces students to various techniques to verify and validate software and software-hardware co-design systems with an emphasis on the design and implementation of system-level software, System-On-Chip systems, Electronic-Design-Automation tool flows, and embedded systems.