Реализация процедур импликации на графовой структуре
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Creator |
Шкиль, А. С.
Чегликов, Д. И. Зинченко, Д. Е. |
|
Date |
2015-07-10T09:59:49Z
2015-07-10T09:59:49Z 2006 |
|
Identifier |
Шкиль, А. С. Реализация процедур импликации на графовой структуре / А. С. Шкиль, Д. И. Чегликов, Д. Е. Зинченко // Радіоелектронні і комп’терні сиситеми : наук.-техн. журн. – Харків. : Вид-во ХАІ, 2006. – Вып. 1 (18). – С. 172–177.
http://hdl.handle.net/123456789/2406 |
|
Description |
В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью верификации фрагмента VHDL-кода.
|
|
Language |
ru
|
|
Subject |
обратная импликация на графовых структурах
графовые структуры верификация фрагмента VHDL-кода |
|
Title |
Реализация процедур импликации на графовой структуре
|
|
Type |
Article
|
|