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