Skip to Main Content

Catalog : EECE.5770 Verification of Digital Systems (Formerly 16.577)

EECE.5770 Verification of Digital Systems (Formerly 16.577)

Id: 003313 Credits: 3-3

Description

The increasing complexity of digital designs coupled with the requirement for first pass success creates a need for an engineered approach to verification. This course defines the goals for verification, presents techniques and applications, and develops a framework for managing the verification process from concept to reality.

Prerequisites

Graduate Level.

View Current Offerings

Course prerequisites/corequisites are determined by the faculty and approved by the curriculum committees. Students are required to fulfill these requirements prior to enrollment. For courses offered through online or GPS delivery, students are responsible for confirming with the instructor or department that all enrollment requirements have been satisfied before registering.