Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2487
Title: Тестовая верификация поведенческих языковых моделей цифровых устройств
Authors: Шкиль, А. С.
Сыревич, Е. Е.
Карасев, А. Л.
Чегликов, Д. И.
Keywords: верификация моделей
язык описания аппаратуры
Issue Date: 2006
Publisher: ХНУРЭ
Citation: Тестовая верификация поведенческих языковых моделей цифровых устройств / А. С. Шкиль, Е. Е. Сыревич, А. Л. Карасев, Д. И. Чегликов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2006. – Вып. 134. – С. 4–13.
Abstract: Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры.
URI: http://openarchive.nure.ua/handle/document/2487
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Шкиль_АСУ_2006_134.pdf205.56 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.