%0 Journal Article %T Повышение формализации задач верификации топологии и электрической схемы для систем автоматизированного проектирования %A Полуэктов, А.В. %A Зольников, К.В. %A Ачкасов, А.В. %A Чевычелов, Ю.А. %K LVS-проверка проекта, xRC-экстракция проекта, физическая верификация проекта, Cadence Physical Verification System, LVS-проверки проекта, Calibre, искусственный интеллект. %J Моделирование систем и процессов %D 2024 %N 17 %P 9 %I Воронежский государственный лесотехнический университет имени Г.Ф. Морозова