РЕАЛИЗАЦИЯ ПРОЦЕДУР ИМПЛИКАЦИИ НА ГРАФОВОЙ СТРУКТУРЕ
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Шкиль, А. С.
Чегликов, Д. И. Зинченко, Д. Е. |
|
| Date |
2016-07-07T02:42:04Z
2016-07-07T02:42:04Z 2006 |
|
| Identifier |
Шкиль А. С. РЕАЛИЗАЦИЯ ПРОЦЕДУР ИМПЛИКАЦИИ НА ГРАФОВОЙ СТРУКТУРЕ / Шкиль А. С., Чегликов Д. И., Зинченко Д. Е. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2006
1814-4225 http://hdl.handle.net/123456789/3258 |
|
| Description |
В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода. |
|
| Language |
ru
|
|
| Publisher |
Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
|
|
| Relation |
УДК;519.713
|
|
| Subject |
верификация
графовая структура тест прямая и обратная импликация VHDL |
|
| Title |
РЕАЛИЗАЦИЯ ПРОЦЕДУР ИМПЛИКАЦИИ НА ГРАФОВОЙ СТРУКТУРЕ
|
|
| Type |
Article
|
|