-
Boolean algebra and logic fundamentals
- Boolean variables, operations (AND, OR, NOT), identities and theorems.
- Canonical forms: Sum of Products (SOP) and Product of Sums (POS).
- Truth tables and mapping between expressions and functions.
-
Minimization techniques
- Algebraic simplification using Boolean identities.
- Karnaugh maps (K-maps) for up to 6 variables: grouping minterms, prime implicants, essential prime implicants.
- Quine–McCluskey tabular method for algorithmic minimization and prime implicant chart.
- Practical trade-offs: minimal literals vs. gate-level cost and propagation delay.
-
Combinational circuit design
- Design flow: specification → truth table → minimization → gate-level implementation.
- Common modules: multiplexers, decoders, encoders, adders (half, full), subtractors, comparators.
- Implementation technologies: TTL/CMOS logic families, fan-in/fan-out, loading and timing considerations.
-
Synthesis with universal gates
- NAND/NOR as universal building blocks.
- Converting minimized functions to NAND/NOR-only implementations.
- Bubble pushing and De Morgan’s transformations for implementation optimization.
-
Sequential circuits and state machines
- Latches vs. flip-flops (SR, D, JK, T): behavior, timing parameters (setup, hold, propagation).
- Finite State Machines (FSMs): Mealy vs. Moore models, state diagrams, state tables.
- State reduction and assignment techniques; timing and clocking strategies.
- Asynchronous vs. synchronous design considerations; hazards and metastability.
-
Timing, hazards, and testing
- Propagation delay, contamination delay, critical path, and timing closure.
- Static and dynamic hazards in combinational circuits and strategies to eliminate them.
- Design-for-testability basics: scan chains, stuck-at fault model, test vector generation.
-
Practical design methodology
- Top-down vs. bottom-up design, modular decomposition, hierarchical implementations.
- Hardware description languages (VHDL/Verilog) role in specification and synthesis (conceptual).
- Mapping logical design to physical constraints: area, speed, power trade-offs.