TY  JOUR
TI  Опыт функциональной верификации блока современной микросхемы
KW  Функциональная верификация
KW  система на кристалле
KW  микропроцессор
KW  спецификация
KW  программа.
JO  Моделирование систем и процессов
AU  Конарев, М.В.
PY  2016
IS  9
PB  Воронежский государственный лесотехнический университет имени Г.Ф. Морозова