CSE 237C. Validation and Testing of Embedded Systems (4 units)
Link to catalog page: https://catalog.ucsd.edu/courses/CSE.html#cse237c
Description
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. Interface-based verification and standards. Prerequisites: CSE 237A; or basic courses in algorithms and data structures, elementary calculus, discrete math, symbolic logic, computer architecture; or consent of instructor.
Prerequisite courses
Loading...
Successor courses
No courses have CSE 237C as a prerequisite.