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