The video covers the design of the Johnson counter, its Verilog module, and saving the Verilog module variables to a file. Also, the Johnson counter is considered a Finite-State Machine.