%0 Journal Article %T Опыт функциональной верификации блока современной микросхемы %A Конарев, М.В. %K Функциональная верификация, система на кристалле, микропроцессор, спецификация, программа. %J Моделирование систем и процессов %D 2016 %N 9 %P 4 %I Воронежский государственный лесотехнический университет имени Г.Ф. Морозова