@article{Zolnikov2019verification, author={Zolnikov, V.K. and Evdokimova, S.A. and Skvortsova, T.V.}, title={VERIFICATION OF PROJECTS AND CREATION OF TEST SEQUENCES FOR CHIP DESIGN}, journal={Modeling of systems and processes}, publisher={FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov}, year={2019}, pages={10-16}, volume={12}, issue={1}, }