Skip main navigation

Electrical and Computer Engineering

18-341 – Logic Design Using Simulation, Synthesis, and Verification Techniques

12 units

The design of digital integrated circuits has grown in complexity to where computer-aided design tools are required for designers to work in an economically productive manner. This course is a study of the techniques of designing the register-transfer and logic levels of complex digital systems using simulation, synthesis, and verification tools. Topics will include memory, bus and communication system interfacing, asynchronous state machines, discrete-event simulation, fault models and test generation, debugging and testbench strategies, and assertion-based verification. Design examples will be drawn from memory systems, bus and communication interfaces, and computation systems, emphasizing how these systems are designed and debugged, 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, homework and design projects will serve to exercise these topics.

3 hrs. lec., 1 hr. rec.

Prerequisite: 18-240

Prerequisite for: 18-525, 18-540, 18-545, 18-745, 18-765

Last updated on April 11, 2006

ECE classifications

Undergraduate areas

Computer Hardware

Undergraduate designations

Breadth, Coverage

Links

Upcoming offerings

S09

Past semesters

S08, S06

Hover over a semester for more information.

Please note that the course history information is incomplete and/or may reflect different courses offered under the same course number.



5000 Forbes Avenue / Pittsburgh, PA 15213-3890 / Phone: 412-268-7400 / Fax: 412-268-2860