@article{Конарев2016опыт, author={Конарев, М.В.}, title={Опыт функциональной верификации блока современной микросхемы}, journal={Моделирование систем и процессов}, publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова}, year={2016}, pages={21-25}, volume={9}, issue={3}, }