Catalog description -Design techniques for digital systems. Combinational circuits and finite-state machines synthesis and evaluation. Test generation and design for testability for large digital systems. Hardware description language exercises of design and simulation of complex digital systems. (4 credits)