@article{Зольников2019практические, author={Зольников, В.К. and Евдокимова, С.А. and Скворцова, Т.В.}, title={Практические методики выполнения верификации проектирования микросхем}, journal={Моделирование систем и процессов}, publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова}, year={2019}, pages={25-30}, volume={12}, issue={1}, }