Multi-Level Combinational Design, Programmable Logic Synthesis, Arithmetic Circuits, Sequential System Design, Finite State Machine Optimization, Analysis of Asynchronous Sequential Systems, Asynchronous Sequential System Design, Multi-Valued Logic Synthesis, Multi-Valued System Optimization, Regular Digital System Design, Static and Dynamic Hazards, Testing Techniques for Modern Digital Systems, Design-For-Testability