TY  CONF
TI  VERIFICATION AND TEST GENERATION OF COMPLEX DIGITAL SYSTEMS
KW  verification and test generation
KW  digital systems
KW  test generation
KW  complex systems
KW  testability
JO  MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025
AU  Svanidze, V.O.
AU  Zolnikov, K.V.
AU  Sazonova, S.A.
AU  Dorohov, V.A.
AU  Harchenko, M.E.
PY  2025
PB  FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov