Mathematical foundations
Switching algebras
Minimization of switching functions
Functional decomposition
Gated and contact networks
Symmetric functions
Threshold logic
Fault identification and detection
Synchronous sequential circuits
Iterative networks
Finite state machines
Asynchronous circuit design: Fundamental mode
Asynchronous circuit design: Pulse mode
Turing machines
Mealy and Moore machines
State-machine programming
Structure of sequential machines
Minimization of sequential machines