TY JOUR TI Методы верификации сложно-функциональных блоков в САПР для микросхем глубоко субмикронных проектных норм KW Микросхема KW сложно-функциональный блок (СФ-блок) KW система автоматизированного проектирования (САПР) KW верификация KW системы на кристалле KW микросхемы цифровой обработки сигналов (ЦОС). JO Моделирование систем и процессов AU Зольников, В.К. AU Евдокимова, С.А. AU Скворцова, Т.В. PY 2019 IS 12 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова