CSE237C - Validation and Testing of Embedded Systems



Embedded system building blocks incl. IP cores. Co-simulation. 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.


CSE 237A; or Basic courses in algorithms and data structures, elementary calculus, discrete math, symbolic logic,  computer architecture;  or consent of instructor.

New Fall 2004