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