The video covers the finite-state machines: Mealy and Moore. It also includes different styles of Verilog State-machine modelling, illustrated through simulations.