00986naa#a2200169#i#4500001001500000005001700015100004100032102000700073200024700080210016900327215001000496608006000506675017600566700003000742700002600772856001800798RU\\bibl\2029120260701062056.3##a20260630b2026####ek#y0rusy0150####ca##aRU1#aАВТОМАТИЗАЦИЯ ВЕРИФИКАЦИИ АНАЛОГО-ЦИФРОВЫХ ТРАКТОВ СИСТЕМ НА КРИСТАЛЛЕ С ИСПОЛЬЗОВАНИЕМ UVM-МЕТОДОЛОГИИeСтатья/тезисы конференции1#aВоронежcВоронежский государственный лесотехнический университет имени Г.Ф. Морозоваd2026##a8 с.##aСтатья/тезисы конференции2local##aИнформационные технологии. Компьютерные технологии. Теория вычислительных машин и систем. 004#1aТарлыковgС. С.#1aТюнинаgА. М.4#abibl.vgltu.ru