Concept

Switching circuit theory

Related lectures (22)

Covers the structural model for sequential circuits, synchronous logic networks, and approaches to sequential synthesis including retiming.

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.