 | | | | |
Home»Graduate Education»Courses»Graduate Course Descriptions»CSE237C
| | | | | Graduate Course Descriptions
CSE237C - Validation and Testing of Embedded Systems
(New Fall 2004)
Units: 4
Course Description:
Embedded system building blocks incl. IP cores. Co-simulation. Formal verification using mdel 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.
| | | back to top ^ |
| |
