Methods of design and testing for logic systems with memory. Includes procedures and the design of system tests, combinational design, multi-level circuits, logic minimization, sequential design, analysis and optimization and the use of computer tools for logic design. Lec 3. (Fall.)