Форма пошуку Назад
укр рус eng
 Cписок

Закутайло Д.А.
Автоматизированная система верификации цифровых систем.

Вид документа: Стаття періодики
Автор: Закутайло Д.А. Вид автора: персона
Мова: Російська Обсяг: С.95-101
УДК: 519.713.1

Аннотацiя:В статье изложены основные проблемы верификации цифровых систем, описанных на VHDL.

Є складовою частиною документа: Искусственный интеллект

Відомості щодо назви
 Відомості про відповідальність:Институт кибернетики им.В.М.Глушкова НАН Украины

Відомості щодо головного
 Назва головного документа:Искусственный интеллект
 Дата видання головного документа:2003
 Номер частини головного документа:3

Загальна інформація
 Бібліографія:С.101

Теми документа: