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

Статья опубликована в журнале из перечня ВАК