TY CONF TI МОДЕЛИРОВАНИЕ РАБОТЫ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ KW моделирование KW современные микропроцессоры KW вертификация KW тестирование микропроцессора KW восходящее и нисходящее проектирование JO МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2025 AU Грошева, Е.В. AU Зольников, В.К. AU Сазонова, С.А. PY 2025 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова