%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 Воронежский государственный лесотехнический университет имени Г.Ф. Морозова