The video discusses about the non-synthesizabel constructs and the testbench to check for the functional correctness of the design. The session is useful to create the stimulus generator to verify the FSM!