The following main problems can be studied and solved with protocol verification and simulation, whether: ...
The LOTOS language and tools are used of the formal description and verification of the protocol. It is an international standard.
The VHDL hardware description language supports behavioural description of the digital systems. It is an IEEE standard.