TY CONF TI АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ АНАЛОГО-ЦИФРОВЫХ ТРАКТОВ СИСТЕМ НА КРИСТАЛЛЕ С ИСПОЛЬЗОВАНИЕМ UVM-МЕТОДОЛОГИИ KW UVM-MS KW верификация смешанных сигналов KW система-на-кристалле (СнК) KW АЦП KW автоматизация KW функциональное покрытие KW SystemVerilog KW эталонная модель KW повторное использование KW MS Bridge JO МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026 AU Тарлыков, С.С. AU Тюнина, А.М. PY 2026 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова