An FSM generally models the behavior of the control ... This will be very beneficial for designs written in VHDL for example. PSL statements can be embedded in code written in either Verilog or VHDL, ...