Previous slide Next slide Back to the first slide View text version


Notes:

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.