01030naa#a2200193#i#450# RU\\bibl\30314 20251212050904.5 2219-0767 20190826b2019####ek#y0rusy0150####ca RU Методы верификации сложно-функциональных блоков в САПР для микросхем глубоко субмикронных проектных норм Журнальная статья Воронеж Воронежский государственный лесотехнический университет имени Г.Ф. Морозова 2019 8 с. Журнальная статья local Прикладные науки. Общие вопросы. 60 Зольников Владимир Константинович Евдокимова Светлана Анатольевна Скворцова Татьяна Владимировна naukaru.ru