Graduate Course Descriptions

Select a Course CSE200CSE201ACSE202CSE203ACSE204ACSE205ACSE206ACSE207CSE208CSE209ACSE209BCSE210CSE211CSE218CSE221CSE222ACSE222BCSE223ACSE223BCSE224CSE225CSE226CSE227CSE228CSE229ACSE229BCSE229CCSE230CSE231CSE232CSE232BCSE233CSE237ACSE237BCSE237CCSE237DCSE238CSE240ACSE240BCSE240CCSE240DCSE241ACSE242ACSE243ACSE244ACSE244BCSE245CSE246CSE247CSE248CSE249ACSE249BCSE249CCSE250ACSE250BCSE251CSE252ACSE252BCSE252CCSE253CSE254CSE255CSE256CSE257CSE257ACSE258ACSE259CSE260CSE261CSE262CSE268ACSE268CCSE269CSE270CSE271CSE272CSE275CSE280ACSE280BCSE282CSE283CSE290CSE291CSE292CSE293CSE294CSE298CSE299CSE500CSE501CSE599

CSE237C – Validation and Testing of Embedded Systems

Units: 4

Course Objectives:

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.

Format:

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

Other restrictions:

Example Textbook(s):

Laboratory work:

Offered: