From the course catalog: embedded system building blocks including IP cores; cosimulation; formal verification using model checking; verification environments; test challenges in core integration (compliance, feature, random, and collision testing); core access and test integration; and interface-based verification and standards.