Switching theory; combinational logic circuits; modular design of combinational circuits; memory elements; sequential logic circuits; digital systems design; modeling and simulation; formal verification; fault models and testing; design for testability

data structures and algorithms; interfacing logic families and standard buses; fundamentals of computer architecture; interfacing and communication; hardware description language; computing; circuit modeling; design tools, tool flow and programmable logic platforms for implementing computing systems; computing circuit modeling