Этот пример показывает верификацию Манчестерского энкодера с помощью HDL Verifier с Simulink. Манчестерское кодирование является простой схемой модуляции, которая преобразует основополосные цифровые данные в закодированную форму волны без компонента DC. Наиболее широко известное приложение этого метода является Ethernet.

Эта модель симулирует цифровой приемник закодированных данных Манчестера. Приемник реализован в VHDL. Приемник использует простой DLL (цикл блокировки задержки) механизм восстановления тактового сигнала, который требует, чтобы несколько циклов заблокировали с входящим потоком данных. Эффективность приемника исследуется путем применения фазы и ошибок частоты к случайным образом сгенерированному потоку битов, который закодирован с помощью простой функции MATLAB®: manchesterencoder ().

Запуски VHDL кода в ModelSim® как блок ModelSim VHDL Cosimulation пометили VHDL Manchester Receiver.