TY JOUR TI METHODS OF VERIFICATION OF COMPLEX FUNCTIONAL BLOCKS IN CAD FOR CHIPS OF DEEP SUBMICRON DESIGN NORMS KW JO Modeling of systems and processes AU Zolnikov, V.K. AU Evdokimova, S.A. AU Skvortsova, T.V. PY 2019 IS 12 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov