Реализация процедур импликации на графовой структуре
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Реализация процедур импликации на графовой структуре
|
|
| Creator |
Шкиль, А. С.
Чегликов, Д. И. Зинченко, Д. Е. |
|
| Subject |
верификация
графовая структура тест прямая и обратная импликация VHDL |
|
| Description |
В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.
|
|
| Date |
2016-09-13T09:54:09Z
2016-09-13T09:54:09Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Шкиль А. С. Реализация процедур импликации на графовой структуре / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006
http://openarchive.nure.ua/handle/document/2456 |
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
|
|