В следующих папках находятся файлы для тестирования модуля:

QPSK_40_dB
QPSK_minus_1_dB
16APSK_minus_2_dB

Тестирование проводится по порядку, сначала QPSK_40_dB, затем QPSK_minus_1_dB, затем 16APSK_minus_2_dB
В случае обработки 16APSK_minus_2_dB, сигнал Out_freq_reset изменяется и поэтому используется дополнительный файл Out_freq_reset_expected.dat
Для остальных сигналов (QPSK_40_dB и QPSK_minus_1_dB) данный файл необходимо удалить из папки hdlsrc/DVBS2_COH_CORR_Full,
 а также не обращать внимания на следующую ошибку в ходе симуляции:
ERROR in Out_freq_reset at time            701610000 : Expected '1' Actual '0'

Тестирование:
Открыть проект Vivado через файл vivado_prj/HDL_DVBS2_Correlator_vivado.xpr
Для проверки необходимо скопировать файлы с расширением .dat из нужной папки и вставить в hdlsrc/DVBS2_COH_CORR_Full с заменой


Критерием правильности оценки является соответствие проведенного теста и выходных данных данным, полученным после симуляции в Simulink.
При успешном тесте в консоль Vivado выведется сообщение TEST PASSED и в окне симуляции сигнал testFailure будет находиться в состоянии 0.
(В случае когда в консоли было выведено сообщение об ошибке Out_freq_reset, обратить внимание на наличие других ошибок в консоли.
Если другие ошибки отсутствуют, тест считается успешным)

Критерием правильности также является получение сигнала о синхронизации Out_test_signal_found.