Theory and design of digital logic circuits. Number systems and binary arithmetic. Boolean algebra theorems. Optimization by algebraic and mapping methods. Logic gates, arithmetic logic units, decoders, analysis and synthesis of combinatorial logic circuits, sequential circuits. Synchronous and asynchronous state machines, hazards and races conditions with sequential circuits. Introduction of hardware description language (VHDL). Laboratory consists of "proof of concept" experiments using digital components. Prerequisite: Grade C or better in CSE 1311.