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