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