Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Комп’ютерні засоби, мережі та системи за автором "Закутайло, Д.А."

Репозиторій DSpace/Manakin

Перегляд Комп’ютерні засоби, мережі та системи за автором "Закутайло, Д.А."

Сортувати за: Порядок: Результатів:

  • Закутайло, Д.А. (2003)
    В статье представлена автоматизированная система, упрощающая процесс верификации. Рассмотрен процесс преобразования VHDL программы в BDD структуры.

Пошук


Розширений пошук

Перегляд

Мій обліковий запис