004
Л74	Ломачинський, В. В.     Розробка методики та засобів автоматичного генерування звітів верифікації ІУС на ПЛІС [Текст] : пояснюв. зап. до диплом. проекту магістра : 8.050102 - комп'ют. інженерія / Каф. комп'ют. систем та мереж (№ 503) ; кер. Харченко В. С. — Харків, 2015. — 97 с. + додатки, CD.