Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трассстатья