Functional verification quality metrics at HDL-model verification

Syrevitch, Yev. Yef.; Karasyov, A. L.; Mehana, S. S.


	Наукова періодика України		Радіоелектронні і комп’ютерні системи

Syrevitch Yev. Yef.
Functional verification quality metrics at HDL-model verification / Yev. Yef. Syrevitch, A. L. Karasyov, S. S. Mehana // Радіоелектронні і комп’ютерні системи. - 2006. - № 6. - С. 153–157. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_6_29

Principles of functional verification quality of digital devices models in hardware description languages are considered. The method of evaluation, which is based on quantity of checked functional modes, is offered.

Повний текст PDF - 357.359 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Syrevitch Y.

Karasyov A.

Mehana S.

Бібліографічний опис для цитування:

Syrevitch Yev. Yef. Functional verification quality metrics at HDL-model verification / Yev. Yef. Syrevitch, A. L. Karasyov, S. S. Mehana // Радіоелектронні і комп’ютерні системи. - 2006. - № 6. - С. 153–157. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_6_29.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача