TY JOUR TI Формализация верификации топологии и электрической схемы для систем автоматизированного проектирования KW LVS-проверка проекта KW xRC-экстракция проекта KW физическая верификация проекта KW Cadence Physical Verification System KW LVS-проверки проекта KW Calibre JO Моделирование систем и процессов AU Скворцова, Т.В. AU Зольников, К.В. AU Плотников, А.М. AU Скоркин, И.В. PY 2024 IS 17 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова