This course covers the design and simulation of digital circuits using modern digital design techniques. Using a hardware description language, students will design, synthesize, and analyze finite state machines and combinational, sequential, and arithmetic logic circuits. Topics will include design for synthesis, verification techniques, memory circuits, programmable logic devices, and implementation technologies. The laboratories are designed to illustrate concepts, reinforce analysis and design skills, and develop instrumentation techniques associated with the lecture topics.