Course Information

18-341: Logic Design and Verification




This course is a second level logic design course, studying the techniques of designing at the register-transfer and logic levels of complex digital systems using modern modeling, simulation, synthesis, and verification tools. Topics include register-transfer level systems (i.e., finite state machines and data paths), bus and communication system interfacing (such as a simplified USB interface), discrete-event simulation, testbench organization, assertion-based verification and functional coverage. Design examples will be drawn from bus and communication interfaces, and computation systems, emphasizing how these systems are designed and how their functionality can be verified. A modern hardware description language, such as SystemVerilog, will serve as the basis for uniting these topics. Quizzes, homeworks and design projects will serve to exercise these topics.

Prerequisites: 18-240

Last Modified: 2017-08-21 3:39PM

Semesters offered:

  • Fall 2017
  • Fall 2016
  • Fall 2015
  • Fall 2014
  • Spring 2014
  • Fall 2013
  • Spring 2013
  • Fall 2012
  • Spring 2012
  • Spring 2011
  • Spring 2010
  • Spring 2009
  • Spring 2008
  • Spring 2006