Functional decomposition and Symmetric functions; Linear sequential machines; Reed-Muller expansions and their minimizations; Exor based logic design; self-timed circuits; asynchronous design techniques; Digital logic circuit testing and testable design: testing of combinational and sequential logic circuits, design for testability and built-in self test; Digital logic simulation.