@article{Тарлыков2026автоматизация, author={Тарлыков, С.С. and Тюнина, А.М.}, title={АВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ АНАЛОГО-ЦИФРОВЫХ ТРАКТОВ СИСТЕМ НА КРИСТАЛЛЕ С ИСПОЛЬЗОВАНИЕМ UVM-МЕТОДОЛОГИИ}, conference={МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026}, publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова}, year={2026}, pages={1219-1227}, }