00874naa#a2200205#i#4500001001500000005001700015100004100032102000700073200009100080210013700171215001000308608003700318675017600355700002000531700003900551700002000590700001900610700002100629856001800650EN\\bibl\1668320250823034653.6##a20250729b2025####ek#y0engy0150####ca##aRU1#aVERIFICATION AND TEST GENERATION OF COMPLEX DIGITAL SYSTEMSeConference article/thesis1#aVoronezhcFSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozovd2025##a9 с.##aConference article/thesis2local##aИнформационные технологии. Компьютерные технологии. Теория вычислительных машин и систем. 004#1aSvanidzegV. O.#1aZolnikovgKonstantin Vladimirovich#1aSazonovagS. A.#1aDorohovgV. A.#1aHarchenkogM. E.4#abibl.vgltu.ru