TY CONF TI MODELING THE OPERATION OF COMPLEX DIGITAL SYSTEMS KW modeling KW modern microprocessors KW verification KW microprocessor testing KW upstream and downstream design JO MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025 AU Grosheva, E.V. AU Zolnikov, V.K. AU Sazonova, S.A. PY 2025 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov